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
Tools and algorithms for the construction and analysis of systems
: 13th international conference ; proceedings / TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Orna Grumberg ; Michael Huth (ed.). - Berlin : Springer, 2007. - XX, 738 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4424)
ISBN 978-3-540-71208-4 / 3-540-71208-9 kart. : EUR 89.88 (freier Pr.), ca. sfr 138.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Verification, model checking, and abstract interpretation
: 4th international conference ; proceedings / VMCAI 2003, New York, NY, USA, January 9 - 11, 2002. Lenore D. Zuck ... (ed.). - Berlin : Springer, 2003. - XI, 323 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2575)
ISBN 978-3-540-00348-9 / 3-540-00348-7 kart. : EUR 47.08
Literaturangaben
Quelle: DNB
Verification, model checking, and abstract interpretation
: 4th international conference ; proceedings / VMCAI 2003, New York, NY, USA, January 9 - 11, 2002. L. D. Zuck ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2575)
ISBN 978-3-540-36384-2
Lizenzpflichtig
Quelle: DNB