Interactive Theorem Proving
First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
CHF 140.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Paulson, Lawrence C. (Hrsg.)
- ISBN: 978-3-642-14052-5
- EAN: 9783642140525
- Produktnummer: 33312933
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2010
- Seitenangabe: 495 S.
- Plattform: PDF
- Masse: 6'439 KB
- Auflage: 2010
- Abbildungen: 82 schwarz-weiße Abbildungen, Bibliographie
- Reihenbandnummer: 6172
5 weitere Werke von Matt (Hrsg.) Kaufmann:
Computer-Aided Reasoning
First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Ebook (PDF Format)
CHF 341.00
Bewertungen
Anmelden