Types for proofs and programs international conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /
Guardado en:
| Otros Autores: | |
|---|---|
| Formato: | eBook |
| Lenguaje: | English |
| Publicado: |
Berlin, Heidelberg
Springer
2009.
|
| Colección: | Lecture Notes in Computer Science,
5497 |
| Materias: | |
| Acceso en línea: | Click here to view the full text content |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| Descripción Física: | 1 online resource digital. |
|---|---|
| ISBN: | 9783642024443 9783642024436 |
| ISSN: | 0302-9743 ; |