Noch Fragen? 0800 / 33 82 637

Artikel empfehlen

Interactive Theorem Proving and Program Development

Coq’Art: The Calculus of Inductive Constructions

Produktform: Buch / Einband - fest (Hardcover)

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-540-20854-9 / 978-3540208549 / 9783540208549

Verlag: Springer Berlin

Erscheinungsdatum: 14.05.2004

Seiten: 472

Auflage: 1

Zielgruppe: Graduate

Vorwort von G. Huet, C. Paulin-Mohring
Autor(en): Yves Bertot, Pierre Castéran

117,69 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück