Computer aided verification
: 14th international conference ; proceedings / CAV 2002, Copenhagen, Denmark, July 27 - 31, 2002. E. Brinksma ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2404)
ISBN 978-3-540-45657-5
Lizenzpflichtig
Quelle: DNB
Lectures on formal methods and performance analysis
: revised lectures / First EEF, Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3 - 7, 2000. E. Brinksma ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2090)
ISBN 978-3-540-44667-5
Lizenzpflichtig
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: third international workshop ; proceedings / TACAS '97, Enschede, The Netherlands, April 2 - 4, 1997. Ed Brinksma (ed.). - Berlin : Springer, 1997. - X, 431 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1217)
ISBN 978-3-540-62790-6 / 3-540-62790-1 kart. : DM 90.00
Literaturangaben
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: first international workshop ; selected papers / TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. E. Brinksma ... (ed.). - Berlin : Springer, 1995. - 289 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1019)
ISBN 978-3-540-60630-7 / 3-540-60630-0 kart. : DM 62.00
Literaturangaben
Quelle: DNB
