Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Stefano Berardi , Ferruccio Damiani , Ugo de Liguoro
Nog geen beoordelingen
2009 · Engels · Paperback
Toevoegen aan Plank

Beoordeel dit boek


Boekjournaal exporteren

Recensies

Nog geen recensies

Wees de eerste om dit boek te recenseren en deel je gedachten

Inloggen om te Beoordelen
Toevoegen aan Plank

Beoordeel dit boek


Boekjournaal exporteren