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
177.00 EUR
Preis aktualisiert am: 28-10-2026 06:41:17
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
Aus106.99 EUR 4
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)
Aus53.49 EUR 3
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)
Aus53.49 EUR 3
Produkt anzeigen
Formal Development of Reactive Systems
Formal Development of Reactive Systems
Aus53.24 EUR 3
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)
Aus102.94 EUR 2
Produkt anzeigen
Menü