Spara
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.
- Undertitel
- International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
- Redaktör
- Stefano Berardi, Ferruccio Damiani, Ugo de Liguoro
- Upplaga
- 2009 ed.
- ISBN
- 9783642024436
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2009-06-19
- Sidor
- 323
