Spar
Types for Proofs and Programs
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.
- Undertittel
- International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
- Redaktør
- Stefano Berardi, Ferruccio Damiani, Ugo de Liguoro
- Opplag
- 2009 ed.
- ISBN
- 9783642024436
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 19.6.2009
- Antall sider
- 323
