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
Wo zu kaufen (2) Eigenschaften
Gesponsert
Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report (Lecture Notes in Computer Science, 755, Band 755)
Medimops DE
53.49 EUR
Preis aktualisiert am: 29-04-2026 08:16:21
Siehe Produktangebot
Gesponsert
Formal Program Development
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 29-04-2026 10:23:22
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Software Engineering and Formal Methods
Software Engineering and Formal Methods
Produkt anzeigen
Formal Aspects of Component Software
Formal Aspects of Component Software
Produkt anzeigen
FRM: Ein Frame-Repräsentationsmodell und seine formale Semantik
FRM: Ein Frame-Repräsentationsmodell und seine formale Semantik
Produkt anzeigen
Formal Specification Techniques for Engineering Modular C Programs (International Series in Software Engineering (1), Band 1)
Formal Specification Techniques for Engineering Modular C Programs (International Series in Software Engineering (1), Band 1)
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
Kol'kehuanka Usedo, Irma: Reformy w formal'nom obrazowanii zhenschin Puno (1850-1941 gg.)
Kol'kehuanka Usedo, Irma: Reformy w formal'nom obrazowanii zhenschin Puno (1850-1941 gg.)
Produkt anzeigen
Menü