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
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Sprache
Englisch
Englisch
Buch
Broschur
The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th Int...
Vollständige Beschreibung
Libristo-Code: 09372112
?
125 b
125 b
50.99
€
inkl. MwSt.
Externes Lager
Wir versenden in 5-8 Tagen
Bis zu 30 Tage Rückgaberecht
Kunden kauften auch
/
Broschur
18.09
€
/
Broschur
40.69
€
The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.§§The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.§
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
Computer Aided Verification
Sprache
Englisch
Englisch
Einband
Buch - Broschur
Datum der Veröffentlichung
2015
Anzahl der Seiten
469
EAN
9783319216676
ISBN
3319216678
Libristo-Code
09372112
Gewicht
7314
Abmessungen
155 x 235 x 25
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
11.19
€
/
Hardcover
18.09
€
Buchberater Libroamiko
Durch die Nutzung dieses Chats kommunizieren Sie mit generativer künstlicher Intelligenz. Mit der Nutzung erklären Sie sich auch mit der Verarbeitung personenbezogener Daten einverstanden.
Hallo! Ich bin Libroamiko, dein Buchberater.
Wie kann ich dir helfen?
Hallo, ich bin Libroamiko, kann ich helfen?