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 (3) Eigenschaften
Gesponsert
Formal Methods and Hybrid Real-Time Systems
Hugendubel
53.49 EUR
Preis aktualisiert am: 19-10-2026 23:59:38
Siehe Produktangebot
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: 23-10-2026 13:35:53
Siehe Produktangebot
Gesponsert
Formal Methods and Hybrid Real-Time Systems
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 23-10-2026 08:02:23
Siehe Produktangebot

Allgemein

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

Eigenschaften

Ähnliche Produkte

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)
Aus58.83 EUR 4
Produkt anzeigen
Integrated Formal Methods
Integrated Formal Methods
Aus53.49 EUR 3
Produkt anzeigen
Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size
Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size
Aus85.24 EUR 3
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
Aus67.13 EUR 1
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
Aus59.00 EUR 1
Produkt anzeigen
Formal Methods and Software Engineering
Formal Methods and Software Engineering
Aus96.49 EUR 1
Produkt anzeigen
Menü