1.
Record Nr.
UNISA990002979430203316
Autore
International workshop TYPES 2004 : <2004 ; : Jouy-en-Josas>
Titolo
Types for proofs and programs : International workshop, TYPES 2004 : Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers / Jean-Christophe Filliâtre... [et al.] (eds.)
Pubbl/distr/stampa
Berlin [etc.] : Springer, copyr. 2006
ISBN
3-540-31428-8
Descrizione fisica
VIII, 272 p. : ill. ; 23 cm
Collana
Lecture notes in computer science ; 3839
Disciplina
511.30285
Soggetti
Logica matematica - Congressi - Jouy-en-Josas - 2004
Collocazione
001 LNCS 3839
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia