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
Versand
DPD-Kurier 4.49 €
Hermes Kurierdienst 4.99 €
DHL-Kurier 3.99 €
Hermes-Stelle 4.49 €
DPD-Stelle 2.99 €
GLS-Kurierdienst 4.49 €
Kaufberater
Mein Konto
▸
Leer :-(
0
Verification, Model Checking, and Abstract Interpretation
17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Sprache
Englisch
Englisch
Buch
Broschur
This book constitutes the refereed proceedings of the 17th International§Conference on Verification,...
Vollständige Beschreibung
Libristo-Code: 02862913
?
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
/
Broschur
113.59
€
/
Broschur
47.69
€
This book constitutes the refereed proceedings of the 17th International§Conference on Verification, Model Checking, and Abstract§Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected§from 67 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
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
Verification, Model Checking, and Abstract Interpretation
Sprache
Englisch
Englisch
Einband
Buch - Broschur
Datum der Veröffentlichung
2015
Anzahl der Seiten
558
EAN
9783662491218
ISBN
3662491214
Libristo-Code
02862913
Gewicht
866
Abmessungen
155 x 235 x 30
Kategorie
EDV und Informationstechnologie
>
Computerprogrammierung und Softwareentwicklung
>
Software Engineering
>
Softwaretests und Prüfsoftware
EDV und Informationstechnologie
>
Informatik
>
Mensch-Computer-Interaktion
>
Interfacedesign, Benutzerfreundlichkeit (Usability)
EDV und Informationstechnologie
>
Computerprogrammierung und Softwareentwicklung
>
Compiler und Übersetzer
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
/
Broschur
16.39
€
/
Hardcover
134.79
€
/
Broschur
20.29
€
/
Hardcover
38.69
€
/
Broschur
13.59
€
/
Hardcover
160.89
€
