Programs, Proofs, Processes
6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings
Edición de la obra Programs, Proofs, Processes
| Autor | Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2010 |
| Idioma | inglés |
| ISBN-13 | 9783642139628 |
| Número de Cutter | F383p |