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

Web link:

The Anne and Joseph Trachtman Memorial Book Fund Home Page

Loading...