Types for proofs and programs : International conference, TYPES 2008 : Torino, Italy, march 26-29, 2008 : revised selected papers / Stefano Berardi...[et al.] (Eds.)

• Record Nr.: UNISA990003327820203316
• Pubbl/distr/stampa: Berlin [etc.] : Springer, copyr. 2009
• ISBN: 978-3-642-02443-6
• Descrizione fisica: VIII, 322 p. ; 24 cm
• Collana: Lecture notes in computer science ; 5497
• Disciplina: 004
• Soggetti: Informatica - Congressi - Torino - 2008
• Collocazione: 001 LNCS 5497
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia