Interactive theorem proving and program development: Coq'Art, the calculus of inductive constructions
Saved in:
Bibliographic Details
Main Authors: Bertot, Yves (Author), Castéran, Pierre (Author)
Format: Book
Language:English
Published: Berlin [u.a.] Springer 2004
Series:Texts in theoretical computer science : an EATCS series
Subjects:
Online Access:Inhaltsverzeichnis
Physical Description:XXV, 469 S.
ISBN:3540208542

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes