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: 10-05-2026 23:39:23
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)
Produkt anzeigen
Interactive Theorem Proving
Interactive Theorem Proving
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
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)
Produkt anzeigen
Interactive Theorem Proving
Interactive Theorem Proving
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
Produkt anzeigen
Menü