Types for proofs and programs: international workshop, types 2003, torino, italy, april 30 - may 4, 2003, revised selected papers
Auteur :
Berardi, Stefano
ISBN :
9783540221647
Date de publication :
15 juin 2004
Dimensions :
23,4 x 15,6 x 2,2 cm
Poids :
597 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne