Fortæl dine venner om denne vare:
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers - Theoretical Computer Science and General Issues 2009 edition
Stefano Berardi
Pris
₪ 295
Bestilles fra fjernlager
Forventes klar til forsendelse 22. - 30. maj.
Tilføj til din iMusic ønskeseddel
Eller
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers - Theoretical Computer Science and General Issues 2009 edition
Stefano Berardi
These proceedings contain a selection of refereed papers presented at or - lated to the Annual Workshop of the TYPES project (EU coordination action 510996), which was held during March 26-29, 2008 in Turin, Italy.
331 pages, Illustrations
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 19. juni 2009 |
| ISBN13 | 9783642024436 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Genre | Aspects (Academic) > Science / Technology Aspects |
| Antal sider | 323 |
| Mål | 155 × 235 × 20 mm · 498 g |
| Sprog | Fransk |
| Klipper/redaktør | Berardi, Stefano |
| Klipper/redaktør | Damiani, Ferruccio |
| Klipper/redaktør | De Liguoro, Ugo |
