Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions
Author(s)
Bibliographic Information
Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions
Springer , [Amazon] [manufacture], c2010
- : pbk
- Other Title
-
Texts in theoretical computer science : an EATCS series
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Note
Reprint. Originally published: Springer, c2010 (Texts in theoretical computer science : an EATCS series)
"Printed in Japan 落丁、乱丁本のお問い合わせは Amazon.co.jp カスタマーサービスへ"--Last page (p. [478])
Bibliography: p. [453]-457
Includes indexes
