Suchfeld einblenden
Person Filliâtre, Jean-Christophe
1 Treffer
Seite < 1 >
Types for proofs and programs
: international workshop, TYPES 2004, Jouy-en-Josas, France, December 15 - 18, 2004. Jean-Christophe Filliâtre ... (ed.) - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3839)
ISBN 978-3-540-31429-5
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
