Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Country | USA |
Brand | Tor Teen |
Manufacturer | Tor Teen |
Binding | Paperback |
ItemPartNumber | new-Dec04-2016-c0033886 |
ReleaseDate | 2014-03-04 |
UnitCount | 1 |
EANs | 9780765378484 |