Formal Methods and Hybrid Real-Time Systems

Ein wissenschaftlicher Band, der die Fortschritte in formaler Verifikation und hybriden Echtzeitsystemen würdigt; präsentiert theoretische Konzepte, ...
Wo zu kaufen (2) Eigenschaften
Gesponsert
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science)
Medimops DE
53.49 EUR
Preis aktualisiert am: 07-09-2026 06:01:10
Siehe Produktangebot
Gesponsert
Formal Methods and Hybrid Real-Time Systems
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 07-09-2026 11:13:26
Siehe Produktangebot

Allgemein

Marke
Springer-Verlag GmbH
ISBN
Springer-Verlag GmbH 9783540752202
MPN
Springer-Verlag GmbH biography

Eigenschaften

Ähnliche Produkte

Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size
Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size
Produkt anzeigen
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
Produkt anzeigen
Integrated Formal Methods
Integrated Formal Methods
Produkt anzeigen
Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
Produkt anzeigen
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings
Produkt anzeigen
Formal Methods and Software Engineering
Formal Methods and Software Engineering
Produkt anzeigen
Menü