Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach
Springer Berlin Heidelberg (9783642069420 / biography)
Preis von (4 Angebote)152.06 EUR
Weitere Informationen
Compare products, prices, offers and stores on Comparor to make a better informed purchase.
Springer Berlin Heidelberg ist eine Marke von Springer Science+Business Media, einem weltweit führenden Verlag für Wissenschaft und Medien. Das Unternehmen hat seinen Hauptsitz in Berlin und betreibt Niederlassungen in Heidelberg, London, Madrid, New York, Paris und Wien. Springer Berlin Heidelberg publiziert mehr als 2.000 Zeitschriften und über 10.000 neue Bücher pro Jahr. Das Verlagsprogramm umfasst sowohl wissenschaftliche als auch populärwissenschaftliche Titel.
Springer Berlin Heidelberg (9783642069420 / biography)
(9783662514351) | Time and Petri Nets
(9783642411144 / 54 black & white illustrations, 6 colour)
LAP Lambert Academic Publishing (9783838370873) | Planned software
(9783540328698 / 124 black & white illustrations, 124 bla)