Formal Specification Techniques for Engineering Modular C Programs (International Series in Software Engineering (1), Band 1)

Formal Specification Techniques for
Wo zu kaufen (3) Eigenschaften
Gesponsert
Formal Specification Techniques for Engineering Modular C Programs (International Series in Software Engineering, 1, Band 1)
Medimops DE
149.84 EUR
Preis aktualisiert am: 28-10-2026 16:48:28
Siehe Produktangebot
Gesponsert
Formal Specification Techniques for Engineering Modular C Programs
SpringerLink DE
160.49 EUR
Preis aktualisiert am: 28-10-2026 06:25:29
Siehe Produktangebot
Gesponsert
Formal Specification Techniques for Engineering Modular C Programs
Hugendubel
160.49 EUR
Preis aktualisiert am: 29-10-2026 06:58:54
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

The Object-Z Specification Language (Advances in Formal Methods (1), Band 1)
The Object-Z Specification Language (Advances in Formal Methods (1), Band 1)
Aus185.98 EUR 4
Produkt anzeigen
Specification Case Studies in RAISE (Formal Approaches to Computing and Information Technology (FACIT))
Specification Case Studies in RAISE (Formal Approaches to Computing and Information Technology (FACIT))
Aus106.99 EUR 3
Produkt anzeigen
Formal Specification Level: Concepts, Methods, and Algorithms
Formal Specification Level: Concepts, Methods, and Algorithms
Aus106.99 EUR 3
Produkt anzeigen
Formal Specification: Techniques and Applications
Formal Specification: Techniques and Applications
Aus53.49 EUR 3
Produkt anzeigen
Software Engineering with OBJ: Algebraic Specification in Action (Advances in Formal Methods, 2, Band 2)
Software Engineering with OBJ: Algebraic Specification in Action (Advances in Formal Methods, 2, Band 2)
Aus197.54 EUR 2
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ü