Suchfeld einblenden
Person Geuvers, Herman
1 Treffer
Seite < 1 >
Types for proofs and programs
: international workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24 - 28, 2002 ; selected papers / Herman Geuvers ; Freek Wiedijk (ed.). - Berlin : Springer, 2003. - VIII, 330 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2646)
ISBN 978-3-540-14031-3 / 3-540-14031-X kart. : EUR 49.22
Literaturangaben
Quelle: DNB
Seite < 1 >
