Noch Fragen? 0800 / 33 82 637

Artikel empfehlen

Interactive Theorem Proving and Program Development

Coq’Art: The Calculus of Inductive Constructions

Produktform: Buch / Einband - flex.(Paperback)

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-642-05880-6 / 978-3642058806 / 9783642058806

Verlag: Springer Berlin

Erscheinungsdatum: 15.12.2010

Seiten: 472

Auflage: 1

Zielgruppe: Graduate

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

85,59 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück