Efficient Decision Procedures for Validation Ofer Strichman
Ø 0.0
0 Bewertungen
49,00 €
Titel: Efficient Decision Procedures for Validation, Untertitel: Translation Validation, decision procedures for equality logic, and SAT tuning for Bounded Model Checking, Einband: Taschenbuch, Autor: Ofer Strichman, Verlag: LAP Lambert Academic Publishing, Sprache: Deutsch, Seiten: 116, Maße: 220x150x8 mm, Gewicht: 191 g, Verkäufer: buch-mimpf.
Jetzt bei Ebay:
-
Seiten:116
-
Gewicht:191
-
Einband:Taschenbuch
-
Marke:LAP Lambert Academic Publishing
-
Fachbereich:Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
-
Publikationstitel:Efficient Decision Procedures for Validation
-
Buchtitel:Efficient Decision Procedures for Validation
-
Untertitel:Translation Validation, decision procedures for equality logic...
-
Film-/Fernseh-Titel:Keine Angabe
-
Musiktitel:Keine Angabe
-
Interpret:Keine Angabe
-
ISBN:9783838300825
-
Produktart:Lehrbuch
-
Format:Taschenbuch
-
Erscheinungsjahr:2018
-
Anzahl der Seiten:116 Seiten
-
Autor:Ofer Strichman
-
Verlag:Lap Lambert Academic Publishing
-
Publikationsname:Efficient Decision Procedures For Validation
-
Sprache:Deutsch
-
Standardversand:DHL Kleinpaket kostenlos - Lieferung zwischen 12. July 2025 und 17. July 2025 (bei heutigem Zahlungseingang)
-
Standardversand:DHL Paket 3,99 EUR - Lieferung zwischen 12. July 2025 und 17. July 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Deutschland
-
Versand ausgeschlossen:Afrika , Asien , Mittelamerika und Karibik , Dänemark , Schweiz , Vatikan , Moldawien , Republik Kroatien , Portugal , Malta , ... und weitere
