Name: Formal Methods and Hybrid Real-Time Systems
Brand: Springer-Verlag GmbH
SKU: ID13024249

Formal Methods and Hybrid Real-Time Systems

53.49 EUR 3% Off 54.99 EUR

Ein Sammelband, der die Schnittstelle zwischen formaler Verifikation und hybriden Echtzeitsystemen beleuchtet; erörtert innovative Modelle, praktische Anwendungen und zukünftige Forschungsrichtungen.

Marke: Springer-Verlag GmbH

ISBN: 9783540752202

MPN: biography

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-3%

Gesponsert Formal Methods and Hybrid Real-Time Systems

Hugendubel

53.49 EUR 54.99 EUR

16-09-2026 06:11:55

Access to the deal

-3%

Gesponsert Formal Methods and Hybrid Real-Time Systems, Fachbücher von Cliff B. Jones, Zhiming Liu, Jim Woodcock

Galaxus.de

53.49 EUR 54.99 EUR

17-09-2026 19:00:28

Access to the deal

-3%

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 54.99 EUR

18-09-2026 14:58:14

Access to the deal

Gesponsert Formal Methods and Hybrid Real-Time Systems

SpringerLink DE

54.99 EUR 54.99 EUR

18-09-2026 09:12:59

Access to the deal

Formal Methods and Hybrid Real-Time Systems

Gesponsert Formal Methods and Hybrid Real-Time Systems

Gesponsert Formal Methods and Hybrid Real-Time Systems, Fachbücher von Cliff B. Jones, Zhiming Liu, Jim Woodcock

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)

Gesponsert Formal Methods and Hybrid Real-Time Systems

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Formal Methods and Hybrid Real-Time Systems

Gesponsert Formal Methods and Hybrid Real-Time Systems

Gesponsert Formal Methods and Hybrid Real-Time Systems, Fachbücher von Cliff B. Jones, Zhiming Liu, Jim Woodcock

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)

Gesponsert Formal Methods and Hybrid Real-Time Systems

Ähnliche Produkte

Concise Guide to Formal Methods

Formal Methods for Nonmonotonic and Related Logics

Integrated Formal Methods: 8th International Conference, I.F.M. 2010, Nancy, France, October 11-14, 2010, Proceedings

Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers