SAT-Based Scalable Formal Verification Solutions, Aarti Gupta, Malay Ganai
Ø 0.0
0 Bewertungen
63,13 €
Eine Lösung finden können. Den Zustand der Ware versuchen wir so gut wie möglich zu beschreiben. Diese können Stempel oder ähnliches der jeweiligen Bibliothek enthalten. Cover-Abweichungen durch Behandlung der Bibliothek möglich.
Jetzt bei Ebay:
-
Produktart:Bücher
-
ISBN-10:0387691669
-
Buchtitel:SAT-Based Scalable Formal Verification Solutions
-
Autor:Aarti Gupta, Malay Ganai
-
Erscheinungsjahr:Mai 2007
-
Verlag:Springer US
-
Format:Gebundene Ausgabe
-
Sprache:Englisch
-
Höhe:2.4 cm
-
Gewicht:705 g
-
Länge:24.1 cm
-
Breite:16 cm
-
ISBN:0387691669
-
Expressversand:Sonstige (1 Werktag) kostenlos - Lieferung zwischen 02. June 2025 und 02. June 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Deutschland, Italien, Spanien, Österreich, Polen, Schweiz
-
Versand ausgeschlossen:Afrika , Asien , Mittelamerika und Karibik , Naher Osten , Ozeanien , Südostasien , Südamerika , Bermuda , Grönland , Kanada , ... und weitere