Interactive Theorem Proving in Software Engineering

Wo zu kaufen (1) Eigenschaften
Gesponsert
Interactive Theorem Proving in Software Engineering, Fachbücher von Florian Kammüller
Galaxus.de
49.00 EUR
Preis aktualisiert am: 24-09-2026 00:51:57
Siehe Produktangebot

Allgemein

Marke
VDM Verlag Dr. Mueller E.K.

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)
Aus85.59 EUR 4
Produkt anzeigen
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science)
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science)
Aus53.49 EUR 4
Produkt anzeigen
Interactive Theorem Proving
Interactive Theorem Proving
Aus52.94 EUR 4
Produkt anzeigen
Interactive Theorem Proving
Interactive Theorem Proving
Aus42.79 EUR 2
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)
Aus128.39 EUR 1
Produkt anzeigen
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Aus53.49 EUR 1
Produkt anzeigen
Menü