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
Computer-aided Verification
Sprache
Englisch
Englisch
Buch
Hardcover
Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Ru...
Vollständige Beschreibung
Libristo-Code: 06319043
?
436 b
436 b
178.09
€
inkl. MwSt.
50% Chance
Wir werden die ganze Welt durchsuchen
Wann bekomme ich das Buch?
30 Tage für die Rückgabe der Ware
Kunden kauften auch
/
Broschur
24.99
€
Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on models associated with distributed programs, protocols and digital circuits.
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 - Hardcover
Datum der Veröffentlichung
1991
EAN
9780821865941
ISBN
9780821865941
Libristo-Code
06319043
Gewicht
666
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
18.09
€
/
Broschur
55.59
€
/
Broschur
54.89
€
