Interactive theorem proving and program development : Coq'Art - the calculus of inductive constructions
By: Bertot, Yves.
Contributor(s): Casteran, Pierre.
Material type:
BookPublisher: Berlin Springer 2004Description: xxv, 469 p. 25 cm.ISBN: 9783540208549.Subject(s): Logic | Mathematical | Data Type | Automation | Module System | Data Structure | Search PatternDDC classification: 004.015113
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 004.015113 BER (Browse shelf) | Available | 030919 |
There are no comments for this item.