Verwandte Artikel zu Interactive Theorem Proving and Program Development:...

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions - Softcover

Bertot, Yves; Castéran, Pierre

 
9783662079652: Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
Softcover
ISBN 10: 3662079658 ISBN 13: 9783662079652
Verlag: Springer, 2014

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

  • VerlagSpringer
  • Erscheinungsdatum2014
  • ISBN 10 3662079658
  • ISBN 13 9783662079652
  • EinbandPaperback
  • SpracheEnglisch

(Keine Angebote verfügbar)

Buch Finden:



Kaufgesuch aufgeben

Sie kennen Autor und Titel des Buches und finden es trotzdem nicht auf ZVAB? Dann geben Sie einen Suchauftrag auf und wir informieren Sie automatisch, sobald das Buch verfügbar ist!

Kaufgesuch aufgeben

Weitere beliebte Ausgaben desselben Titels

9783540208549: Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

Vorgestellte Ausgabe

ISBN 10:  3540208542 ISBN 13:  9783540208549
Verlag: Springer, 2004
Hardcover