Formal Methods and Hybrid Real-Time Systems
53.49 EUR
Ein Fachband, der die Verbindung von formaler Methodik mit hybriden Echtzeitsystemen beleuchtet; erörtert neue Theorien, praxisnahe Fallstudien und innovative Ansätze zur sicheren Softwareentwicklung.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
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
14-05-2026 17:31:56
SpringerLink DE
Gesponsert
Galaxus.de
Formal Methods and Hybrid Real-Time Systems, Fachbücher von Cliff B. Jones, Zhiming Liu, Jim Woodcock
Galaxus.de
14-05-2026 08:44:42
Ähnliche Produkte
Integrated Formal Methods
53.49 EUR
Formal Methods and Software Engineering
96.49 EUR