Formal Development of a Network-Centric Rtos

Of a Network-Centric RTOS
Wo zu kaufen (1) Eigenschaften
Gesponsert
Formal Development of a Network-Centric RTOS
SpringerLink DE
160.49 EUR
Preis aktualisiert am: 14-05-2026 15:01:57
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
Produkt anzeigen
Zb 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 2003 Proceedings ... Notes in Computer Science, 2651, Band 2651)
Zb 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 2003 Proceedings ... Notes in Computer Science, 2651, Band 2651)
Produkt anzeigen
VDM '90. VDM and Z
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science (428), Band 428)
Produkt anzeigen
Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report (Lecture Notes in Computer Science (755), Band 755)
Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report (Lecture Notes in Computer Science (755), Band 755)
Produkt anzeigen
Formal Development of Reactive Systems
Formal Development of Reactive Systems
Produkt anzeigen
Specification and Transformation of Programs: A Formal Approach to Software Development (Springer Texts in Electrical Engineering)
Specification and Transformation of Programs: A Formal Approach to Software Development (Springer Texts in Electrical Engineering)
Produkt anzeigen
Menü