Formal Development of Reactive Systems

Wo zu kaufen (2) Eigenschaften

Gesponsert

Formal Development of Reactive Systems: Case Study Production Cell (Lecture Notes in Computer Science)

Medimops DE

53.24 EUR

Preis aktualisiert am: 14-05-2026 17:31:42

Siehe Produktangebot

Gesponsert

Formal Development of Reactive Systems

SpringerLink DE

53.49 EUR

Preis aktualisiert am: 14-05-2026 15:25:17

Siehe Produktangebot

Allgemein

Marke

Springer

Eigenschaften

Ähnliche Produkte

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

ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29

ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 ... Notes in Computer Science, 1878, Band 1878)

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

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

FM'99 - Formal Methods

Produkt anzeigen

Formal Development of a Network-Centric Rtos

Formal Development of a Network-Centric Rtos

Produkt anzeigen