Types for Proofs and Programs
Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
Edición de la obra Types for Proofs and Programs
| Autor | Herman Geuvers, Freek Wiedijk |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Mar 12, 2014 |
| Páginas | 344 |
| Formato | paperback |
| ISBN-13 | 9783662213414 |
| ISBN-10 | 3662213419 |
| Número de Cutter | G395t |