Types for Proofs and Programs
International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Lecture Notes in Computer Science)
Edición de la obra Types for proofs and programs
| Autor | Jean-Christophe Filliâtre, Benjamin Werner |
|---|---|
| Editorial | Springer |
| Fecha de publicación | March 16, 2006 |
| Idioma | inglés |
| Páginas | 275 |
| Formato | Paperback |
| ISBN-13 | 9783540314288 |
| ISBN-10 | 3540314288 |
| OCLC | 63524088, 63514361 |
| LCCN |