Erhältlich:
Nicht auf Lager
Buch (Softcover): Fachbuch
Interactive Theorem Proving
4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
Produkt bewerten
Verlag:
Springer EN Unsere-Artikel-Nr.: P37109637
EAN: 9783642396335
Erhältlich:
Nicht auf Lager
Zustellung: Di, 01.09.2026
Versand: Kostenlos
-16.7 %
CHF 69.–
CHF 57.50
Spezifikationen
Sprache
- Englisch
Autor
- Sandrine Blazy
- David Pichardie
- Christine Paulin-Mohring
Zielgruppe
- Research
Erscheinungsjahr
- 2013
Format
- Buch (Softcover)
Anzahl Seiten
- 498