Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Model Checking Software

Name: Model Checking Software
Brand: Springer Nature B.V.
SKU: 43418416
Price: 61.89 EUR
Availability: InStock
Author: Georgiana Caltais
ISBN: 9783031321580

29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings

Georgiana Caltais

Christian Schilling

Sprache

Englisch

Buch Broschur

Libristo-Code: 43418416

Verlag Springer Nature B.V., Mai 2023

This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking... Vollständige Beschreibung

Libristo-Code: 43418416

151 b

61.89 € inkl. MwSt.

Externes Lager Wir versenden in 10-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Griese Hunnen köönt nich flegen Yvonne Semken

Broschur

13.29 €

This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26-27, 2023.

The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Model Checking Software

Autor Georgiana Caltais, Christian Schilling

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2023

Anzahl der Seiten 212

EAN 9783031321580

Libristo-Code 43418416

Verlag Springer Nature B.V.

Gewicht 305

Abmessungen 156 x 234

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert