Erhältlich:
Nicht auf Lager
Buch (Softcover): Fachbuch
Interactive Theorem Proving
Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
Verlag:
Springer EN Unsere-Artikel-Nr.: P36417728
EAN: 9783642228629
Erhältlich:
Nicht auf Lager
Zustellung: Do, 15.10.2026
Versand: Kostenlos
-17.1 %
CHF 70.–
CHF 58.–
Spezifikationen
Sprache
- Englisch
Autor
- Marko van Eekelen
- Herman Geuvers
- Julien Schmaltz
- Freek Wiedijk
Zielgruppe
- Research
Erscheinungsjahr
- 2011
Format
- Buch (Softcover)
Anzahl Seiten
- 383