Noch Fragen? 0800 / 33 82 637

Artikel empfehlen

Interactive Theorem Proving

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

Produktform: Buch / Einband - flex.(Paperback)

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-642-14051-8 / 978-3642140518 / 9783642140518

Verlag: Springer Berlin

Erscheinungsdatum: 30.06.2010

Seiten: 495

Auflage: 1

Zielgruppe: Professional/practitioner

Herausgegeben von Matt Kaufmann, Lawrence C. Paulson

106,99 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück