Extending Temporal Logic with Omega-automata Nir Piterman
Ø 0.0
0 Bewertungen
49,00 €
Titel: Extending Temporal Logic with Omega-automata, Untertitel: The Automata Theoretic Techniques behind PSL Model Checking, Einband: Taschenbuch, Autor: Nir Piterman, Verlag: LAP LAMBERT Academic Publishing, Sprache: Englisch, Seiten: 88, Maße: 220x150x6 mm, Gewicht: 149 g, Verkäufer: buch-mimpf.
Jetzt bei Ebay:
-
Verlag:LAP LAMBERT Academic Publishing
-
Autor:Nir Piterman
-
Seiten:88
-
Gewicht:149
-
Einband:Taschenbuch
-
Format:220x150x6 mm
-
Sprache:Englisch
-
Marke:LAP LAMBERT Academic Publishing
-
Fachbereich:Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
-
Publikationstitel:Extending Temporal Logic with Omega-automata
-
Erscheinungsjahr:20091021
-
Produktart:Bücher
-
Buchtitel:Extending Temporal Logic with Omega-automata
-
Untertitel:The Automata Theoretic Techniques behind PSL Model Checking
-
Film-/Fernseh-Titel:Keine Angabe
-
Publikationsname:Extending Temporal Logic with Omega-automata
-
Musiktitel:Keine Angabe
-
Interpret:Keine Angabe
-
ISBN:9783838322063
-
Standardversand:DHL Kleinpaket kostenlos - Lieferung zwischen 20. June 2025 und 25. June 2025 (bei heutigem Zahlungseingang)
-
Standardversand:DHL Paket 3,99 EUR - Lieferung zwischen 20. June 2025 und 25. 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
