Programs as data objects
: second symposium ; proceedings / PADO 2001, Aarhus, Denmark, May 21 - 23, 2001. O. Danvy ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2053)
ISBN 978-3-540-44978-2
Lizenzpflichtig
Quelle: DNB
Runtime verification
: 8th international workshop ; selected papers / RV 2008, Budapest, Hungary, March 30, 2008. Martin Leucker (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5289)
ISBN 978-3-540-89247-2
Lizenzpflichtig
Quelle: DNB
Semantics, applications, and implementation of program generation
: second international workshop ; proceedings / SAIG 2001, Florence, Italy, September 6, 2001. W. Taha (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2196)
ISBN 978-3-540-44806-8
Lizenzpflichtig
Quelle: DNB
Semantics, applications, and implementation of program generation
: second international workshop ; proceedings / SAIG 2001, Florence, Italy, September 6, 2001. Walid Taha (ed.). - Berlin : Springer, 2001. - X, 218 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2196)
ISBN 978-3-540-42558-8 / 3-540-42558-6 kart.
Literaturangaben
Quelle: DNB
Diehl, Stephan: Software visualization
: visualizing the structure, behaviour, and evolution of software ; with 5 tables / Stephan Diehl. - Berlin : Springer, 2007. - XII, 187 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-540-46504-1 / 3-540-46504-9 Pp. : EUR 53.45
Literaturverz. S. 169 - 184
Quelle: DNB Verlagsmeldungen
Static analysis
: 5th international symposium ; proceedings / SAS '98, Pisa, Italy, September 1998. Giorgio Levi (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1503)
ISBN 978-3-540-49727-1
Lizenzpflichtig
Quelle: DNB
Static analysis
: 8th international symposium ; proceedings / SAS 2001, Paris, France, July 16 - 18, 2001. P. Cousot (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2126)
ISBN 978-3-540-47764-8
Lizenzpflichtig
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 14th international conference ; proceedings / TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. C. R. Ramakrishnan ; Jakob Rehof (ed.). - Berlin : Springer, 2008. - XVI, 518 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4963)
ISBN 978-3-540-78799-0 kart. : EUR 68.48 (freier Pr.), sfr 111.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Tools and algorithms for the construction and analysis of systems
: 14th international conference ; proceedings / TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. C. R. Ramakrishnan ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4963)
ISBN 978-3-540-78800-3
Lizenzpflichtig
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 13th international conference ; proceedings / TACAS 2007 ... Orna Grumberg ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4424)
ISBN 978-3-540-71209-1
Lizenzpflichtig
Quelle: DNB
