An Introduction to Practical Formal Methods Using Temporal Logic | Fisher | Buch
138,95 €
Titel: An Introduction to Practical Formal Methods Using Temporal Logic | Medium: Buch | Autor: Michael Fisher | Einband: Gebunden | Inhalt: 360 S. | Sprache: Englisch | Seiten: 360 | Maße: 251 x 177 x 29 mm | Erschienen: 15.06.2011 | Anbieter: Cellestria.
Jetzt bei Ebay:
-
Buchtitel:An Introduction to Practical Formal Methods Using Temporal Logic
-
Autor:Michael Fisher
-
Sprache:Englisch
-
Erscheinungsjahr:2011
-
Anzahl der Seiten:360
-
Marke:Wiley, John Wiley & Sons
-
Hersteller:Wiley, John Wiley & Sons
-
Verlag:Wiley, John Wiley & Sons
-
Format:Gebundene Ausgabe
-
Genre:Importe
-
Schlagworte:Elektronik, Elektrotechnik, Nachrichtentechnik, Computers, Genera
-
ISBN:0470027886
-
Standardversand:DHL Paket kostenlos - Lieferung zwischen 20. June 2025 und 26. 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