Turbo-Pascal
: Programmier-Praxis - Ausg. 14, 1. Aufl. - Würzburg : Vogel, 1990. - 82 S. : graph. Darst.; 30 cm - (Chip special)
ISBN 978-3-8023-0973-1 / 3-8023-0973-1 DM 28.00
Quelle: DNB
Turbo-Pascal
: Programmier-Praxis ; Coroutinen u. nebenläufige Prozesse in Turbo-Pascal, optimaler Maschineneinsatz, Text-Formatierung ... - Ausg. 8, 1. Aufl. - Würzburg : Vogel, 1988. - 120 S.; 30 cm - (Chip special)
ISBN 978-3-8023-0968-7 / 3-8023-0968-5 DM 28.00
Quelle: DNB
[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
: international workshop ; types '99, Lökeberg, Sweden, June 12 - 16, 1999 ; selected papers / Thierry Coquand ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1956)
ISBN 978-3-540-44557-9
Lizenzpflichtig
Quelle: DNB
Types for proofs and programs
: international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers / P. Callaghan ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2277)
ISBN 978-3-540-45842-5
Lizenzpflichtig
Quelle: DNB
Types for proofs and programs
: international workshop ; types '98, Kloster Irsee, Germany, March 1998 ; selected papers / T. Altenkirch ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1657)
ISBN 978-3-540-48167-6
Lizenzpflichtig
Quelle: DNB
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
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
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
Types for proofs and programs
: international workshop, types 2006, Nottingham, UK, April 18 - 21, 2006 ; revised selected papers / Thorsten Altenkirch ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4502)
ISBN 978-3-540-74464-1
Lizenzpflichtig
Quelle: DNB
