1.
Record Nr.
UNISA990000207190203316
Autore
International workshop TYPES'95 : 1995
Titolo
Types for proofs and programs : International workshop, TYPES '95 : Torino, Italy, June 5-8, 1995 : selected papers / Stefano Berardi ... [et al.] (eds.)
Pubbl/distr/stampa
Berlin [etc.] : Springer-Verlag, copyr. 1996
ISBN
3-540-61780-9
Descrizione fisica
X, 296 p. : ill. ; 23 cm
Collana
Lecture notes in computer science ; 1158
Disciplina
51130285
Collocazione
001 LNCS (1158)
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia