Noch Fragen? 0800 / 33 82 637

Artikel empfehlen

Interactive Theorem Proving

First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Dieser Artikel gehört zu den folgenden Serien

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-642-14052-5 / 978-3642140525 / 9783642140525

Verlag: Springer Berlin

Erscheinungsdatum: 13.07.2010

Seiten: 495

Herausgegeben von Matt Kaufmann, Lawrence C. Paulson

96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück