Suchfeld einblenden
Person Miculan, Marino
1 Treffer
Seite < 1 >
Types for proofs and programs
: international conference, types 2007, Cividale del Friuli, Italy, May 2 - 5, 2007 ; revised selected papers / Marino Miculan ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4941)
ISBN 978-3-540-68103-8
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
