Program Construction: International Summer School (Lecture Notes in Computer Science, 69, Band 69)

Program Construction International Summer School
Wo zu kaufen (2) Eigenschaften
Gesponsert
Program Construction: International Summer School (Lecture Notes in Computer Science, 69, Band 69)
Medimops DE
50.28 EUR
Preis aktualisiert am: 15-06-2026 22:03:20
Siehe Produktangebot
Gesponsert
Program Construction
SpringerLink DE
50.28 EUR
Preis aktualisiert am: 16-06-2026 04:56:05
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Produkt anzeigen
Construction Program Management – Decision Making and Optimization Techniques
Construction Program Management – Decision Making and Optimization Techniques
Produkt anzeigen
Mathematics of Program Construction
Mathematics of Program Construction
Produkt anzeigen
Mathematics of Program Construction: 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings (Lecture Notes in Computer Science (1422), Band 1422)
Mathematics of Program Construction: 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings (Lecture Notes in Computer Science (1422), Band 1422)
Produkt anzeigen
Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings (Lecture Notes in ... (Lecture Notes in Computer Science (1837))
Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings (Lecture Notes in ... (Lecture Notes in Computer Science (1837))
Produkt anzeigen
Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Produkt anzeigen
Menü