Suchfeld einblenden
Person Berardi, Stefano
2 Treffer
Seite < 1 >
[Types for proofs and programs]
: [international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003] / [Stefano Berardi ... (ed.)]. - [Berlin : [Springer], 2004. - Online-Ressource - ([Lecture notes in computer science]; [3085])
ISBN 978-3-540-24849-1
Titel aus Metadaten. - Lizenzpflichtig
Quelle: DNB
Types for proofs and programs
: selected papers ; international Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 / [International Workshop TYPES '95]. Stefano Berardi ... (ed.). - Berlin : Springer, 1996. - X, 296 S.; 24 cm - (Lecture notes in computer science; Vol. 1158)
ISBN 978-3-540-61780-8 / 3-540-61780-9 kart. : DM 70.00
Literaturangaben
Quelle: DNB
Seite < 1 >
