Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen.
Konto kostenlos anlegen
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 €
GLS-Kurier 4.99 €
GLS-Kurier 4.99 €
DPD-Kurier 3.99 €
DPD-Stelle 2.99 €
Kontakt
Wie einkaufen
Hilfe
Versand
Österreichische Post 5.49 €
GLS-Kurier 4.99 €
GLS-Kurier 4.99 €
DPD-Kurier 3.99 €
DPD-Stelle 2.99 €
Kostenloser Versand mit Zásilkovna ab 69.99 €
Kaufberater
Mein Konto
▸
Leer :-(
0
Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.
Model Checking Software
Sprache
Englisch
Englisch
Buch
Broschur
This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking...
Vollständige Beschreibung
Libristo-Code: 36928979
?
132 b
132 b
53.79
€
inkl. MwSt.
Externes Lager
Wir versenden in 5-8 Tagen
30 Tage für die Rückgabe der Ware
Kunden kauften auch
/
Noten
16.49
€
This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.
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
Alfons Laarman
Sprache
Englisch
Englisch
Einband
Buch - Broschur
Datum der Veröffentlichung
2021
Anzahl der Seiten
195
EAN
9783030846282
ISBN
3030846288
Libristo-Code
36928979
Gewicht
326
Abmessungen
155 x 235 x 12
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 geliefertDas könnte Sie auch interessieren
/
Hardcover
37.69
€