Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen.
Konto kostenlos anlegen
Österreichische Post 5.49 €
GLS-Kurier 4.99 €
DPD-Kurier 4.49 €
DPD-Stelle 3.49 €
Kontakt
Wie einkaufen
Hilfe
Versand
Österreichische Post 5.49 €
GLS-Kurier 4.99 €
DPD-Kurier 4.49 €
DPD-Stelle 3.49 €
Kaufberater
Mein Konto
▸
Leer :-(
0
Verified Software: Theories, Tools, and Experiments
7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Sprache
Englisch
Englisch
Buch
Broschur
This volume constitutes the thoroughly refereed post-conference§proceedings of the 7th International...
Vollständige Beschreibung
Libristo-Code: 02896192
?
111 b
111 b
45.49
€
inkl. MwSt.
Externes Lager
Wir versenden in 5-8 Tagen
Bis zu 30 Tage Rückgaberecht
Kunden kauften auch
/
Broschur
42.69
€
/
Broschur
17.95
€
This volume constitutes the thoroughly refereed post-conference§proceedings of the 7th International Conference on Verified Software:§Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.§The goal of this conference is to advance the state of the art§in the science and technology of software verification, through the§interaction of theory development, tool evolution, and experimental§validation and large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge.
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
Verified Software: Theories, Tools, and Experiments
Autor
Arie Gurfinkel, Seshia Sanjit
Sprache
Englisch
Englisch
Einband
Buch - Broschur
Datum der Veröffentlichung
2016
Anzahl der Seiten
223
EAN
9783319296128
ISBN
3319296124
Libristo-Code
02896192
Gewicht
3635
Abmessungen
155 x 235 x 14
Kategorie
Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse
>
Elektronik, Nachrichtentechnik
>
Elektronik
>
Regelungstechnik
>
Robotik
EDV und Informationstechnologie
>
Computerprogrammierung und Softwareentwicklung
>
Compiler und Übersetzer
EDV und Informationstechnologie
>
Computerprogrammierung und Softwareentwicklung
>
Programmier- und Skriptsprachen, allgemein
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
81.09
€
/
Broschur
10.49
€
/
Broschur
61.69
€