Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development (Lecture Notes in Computer Science (3049), Band 3049)

Program Development
Wo zu kaufen (2) Eigenschaften
Gesponsert
Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development (Lecture Notes in Computer Science, 3049, Band 3049)
Medimops DE
53.49 EUR
Preis aktualisiert am: 29-04-2026 08:15:59
Siehe Produktangebot
Gesponsert
Program Development in Computational Logic
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 28-04-2026 20:55:08
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Dual Diagnosis: Evaluation, Treatment, Training, And Program Development
Dual Diagnosis: Evaluation, Treatment, Training, And Program Development
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
Dual Diagnosis: Evaluation, Treatment, Training, and Program Development
Dual Diagnosis: Evaluation, Treatment, Training, and Program Development
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
Talent Development in European Higher Education: Honors programs in the Benelux, Nordic and German-speaking countries
Talent Development in European Higher Education: Honors programs in the Benelux, Nordic and German-speaking countries
Produkt anzeigen
Rigorous Software Development
Rigorous Software Development
Produkt anzeigen
Menü