Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Country | USA |
Manufacturer | Random House Studio |
Binding | Hardcover |
Color | Multicolor |
ReleaseDate | 2023-03-21 |
UnitCount | 1 |
Format | Picture Book |
EANs | 9780593484845 |