Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions / Yves Bertot, Pierre Castéran ; foreword by Gérard Huet and Christine Paulin-Mohring.

Author
Bertot, Yves [Browse]
Format
Book
Language
English
Published/​Created
Berlin ; New York : Springer, c2004.
Description
xxv, 469 p. : ill. ; 25 cm.

Details

Subject(s)
Related name
Series
Texts in theoretical computer science [More in this series]
Bibliographic references
Includes bibliographical references (p. [453]-457) and index.
ISBN
  • 3540208542 (hd. bd.)
  • 9783540208549 (hd. bd.)
LCCN
2004103364
OCLC
55514299
Statement on language in description
Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...
Other views
Staff view