Robert P. Kursh Computer-Aided Verification of C (Gebundene Ausgabe) (US IMPORT)
Ø 0.0
0 Bewertungen
181,87 €
Produktart: Gebundene Ausgabe. Zustand: Neu. Sprache: Englisch. Originally published in 1995. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions.
Jetzt bei Ebay:
-
Buchtitel:Computer-Aided Verification of Coordinating Processes
-
EAN:9780691634890
-
Erscheinungsdatum:19.04.2016
-
Buchreihe:Princeton Series in Computer Science
-
Subtitle:The Automata-Theoretic Approach
-
ISBN-10:0691634890
-
ISBN:9780691634890
-
Herstellungsland und -region:US
-
Höhe:229mm
-
Länge:152mm
-
Gewicht:567g
-
Genre:Science Nature & Math
-
Produktart:Lehrbuch
-
Format:Gebundene Ausgabe
-
Erscheinungsjahr:2016
-
Anzahl der Seiten:284 Seiten
-
Autor:Robert P. Kurshan
-
Verlag:Princeton University Press
-
Publikationsname:Computer-Aided Verification of Coordinating Processes
-
Sprache:Englisch
-
Economy Shipping from outside:Sparversand aus dem Ausland kostenlos - Lieferung zwischen 30. June 2025 und 10. July 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Weltweit
-
Versand ausgeschlossen:Afghanistan , Bhutan , Russische Föderation , Australien , Brunei Darussalam , Laos , Kanada , Mexiko , USA , Israel , ... und weitere
