Cover Image

Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /

Show other versions (1)
Bibliographic Details
Main Author: Bertot, Yves
Other Authors: Castéran, P. (Pierre)
Format: Book
Language:English
Published: Berlin ; New York : Springer, [2004]
Series:Texts in theoretical computer science.
Subjects:
Automatic theorem proving.
Computer programming.
Description
Physical Description:xxv, 469 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references (pages [453]-457) and index.
ISBN:3540208542 (hd.bd.)