Franklin

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/Creator:
Bertot, Yves.
Publication:
Berlin ; New York : Springer, c2004.
Series:
Texts in theoretical computer science
Format/Description:
Book
xxv, 469 p. : ill. ; 25 cm.
Subjects:
Automatic theorem proving.
Computer programming.
Notes:
Includes bibliographical references (p. [453]-457) and index.
Local notes:
Acquired for the Penn Libraries with assistance from the Anne and Joseph Trachtman Memorial Book Fund.
Contributor:
Castéran, P. (Pierre)
Anne and Joseph Trachtman Memorial Book Fund.
ISBN:
3540208542 (hd. bd.)
9783540208549 (hd. bd.)
OCLC:
55514299
Loading...
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy