※一部利用できない機能があります
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
- 言語:
- 英語
- 出版情報:
- Berlin : Springer, c2004
- 形態:
- xxv, 469 p. ; 24 cm
- 著者名:
- シリーズ名:
- Texts in theoretical computer science ; An EATCS series <BA24186461>
- 書誌ID:
- BA67149682
- ISBN:
- 9783540208549 [3540208542]
類似資料:
Academic Press | |
Springer-Verlag |
Springer-Verlag |
Springer-Verlag | |
D. Reidel |
Springer |
North-Holland Pub. Co, Sole distributor for the U.S.A. and Canada, Elsevier North-Holland |
MIT Press |
UMI Research Press |
Academic Press |