The Temporal Logic of Reactive and Concurrent Systems Specification Taschenbuch
Ø 0.0
0 Bewertungen
51,90 €
Titel: The Temporal Logic of Reactive and Concurrent Systems | Zusatz: Specification | Medium: Taschenbuch | Autor: Amir Pnueli (u. a.) | Einband: Kartoniert / Broschiert | Inhalt: xiv / 427 S. | Auflage: Softcover reprint of the original 1st edition 1992 | Sprache: Englisch | Seiten: 444 | Maße: 235 x 155 x 24 mm | Erschienen: 17.10.2012 | Anbieter: Buchbär.
Jetzt bei Ebay:
-
Buchtitel:The Temporal Logic of Reactive and Concurrent Systems
-
Autor:Amir Pnueli
-
Sprache:Englisch
-
Erscheinungsjahr:2012
-
Anzahl der Seiten:444
-
Marke:Springer New York, Springer US, New York, N.Y.
-
Hersteller:Springer New York, Springer US, New York, N.Y.
-
Verlag:Springer New York, Springer US, New York, N.Y.
-
Format:Taschenbuch
-
Genre:Importe
-
Ausgabe:Softcover reprint of the original 1st edition 1992
-
Titelzusatz:Specification
-
Schlagworte:Informatik, Wissensbasierte Systeme, Expertensysteme, EDV, Netzwe
-
Herstellungsland und -region:Deutschland
-
ISBN:1461269504
-
Standard Shipping:DHL Paket kostenlos - Lieferung zwischen 16. June 2025 und 18. June 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