Adapting Proofs-as-Programs
Edición de la obra Adapting Proofs-as-Programs
| Autor | Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Sep 22, 2008 |
| Páginas | 436 |
| Formato | paperback |
| ISBN-13 | 9780387503721 |
| ISBN-10 | 0387503722 |
| Número de Cutter | P745a |