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: ![]()
![]()
![]()
![]()
![]()
![]()
Hugendubel
Gesponsert
Galaxus.de
Formal Methods and Hybrid Real-Time Systems, Fachbücher von Zhiming Liu, Jim Woodcock, Cliff B. Jones
Galaxus.de
25-09-2026 19:52:41
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
26-09-2026 19:42:24
SpringerLink DE Ähnliche Produkte
Integrated Formal Methods
53.49 EUR
Formal Methods and Software Engineering
96.49 EUR