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

Formal Methods and Hybrid Real-Time Systems

53.49 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

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

09-06-2026 06:31:22

Access to the deal

Gesponsert Formal Methods and Hybrid Real-Time Systems

SpringerLink DE

53.49 EUR 53.49 EUR

09-06-2026 17:32:58

Access to the deal

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

Galaxus.de

53.49 EUR 53.49 EUR

08-06-2026 18:45:45

Access to the deal

Formal Methods and Hybrid Real-Time Systems

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

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

Ä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: 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

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

Ähnliche Produkte

Concise Guide to Formal Methods

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

Formal Methods for Nonmonotonic and Related Logics

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