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
Main Author Bertot, Yves Coauthor Casterán, Pierre Secondary Author Huet, GérardPaulin-Mohring, Christine Country Alemanha. Publication Berlin : Springer, cop. 2004 Description XV, 469 p. ; 24 cm Series Texts in theoretical computer science ISBN 3-540-20854-2 CDU 519.6
| Item type | Current location | Call number | Status | Date due | Barcode | Item holds | Course reserves |
|---|---|---|---|---|---|---|---|
| Monografia | Biblioteca Geral da Universidade do Minho | BGUMD 109250 | Available | 332175 | |||
| Monografia | Biblioteca Geral da Universidade do Minho | BGUM 519.6 - B | Available | 332176 | |||
| Monografia | Biblioteca Geral da Universidade do Minho | BGUM 519.6 - B | Checked out | 2024-05-06 | 364414 | ||
| Monografia | Biblioteca Geral da Universidade do Minho | BGUMD 109251 | Available | 364415 | |||
| Monografia | Biblioteca Geral da Universidade do Minho | BGUM 519.6 - B | Available | 365487 |
Mestrado e Matemática e Computação Lógica da programação 1º semestre |
Total holds: 0
Enhanced descriptions from Syndetics:
There are no comments for this item.