Static analysis
: 15th international symposium ; proceedings / SAS 2008, Valencia, Spain, July 16 - 18, 2008. María Alpuente ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5079)
ISBN 978-3-540-69166-2
Lizenzpflichtig
Quelle: DNB
Static analysis
: 14th international symposium ; proceedings / SAS 2007, Kongens Lyngby, Denmark, August 22 - 24, 2007. Hanne Riis Nielson ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4634)
ISBN 978-3-540-74061-2
Lizenzpflichtig
Quelle: DNB
Static analysis
: 13th international symposium ; proceedings / SAS 2006, Seoul, Korea, August 29 - 31, 2006. Kwangkeun Yi (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4134)
ISBN 978-3-540-37758-0
Lizenzpflichtig
Quelle: DNB
Static analysis
: 12th international symposium ; proceedings / SAS 2005, London, UK, September 7 - 9, 2005. Chris Hankin ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3672)
ISBN 978-3-540-31971-9
Lizenzpflichtig
Quelle: DNB
Static analysis
: 10th international symposium ; proceedings / SAS 2003, San Diego, CA, USA, June 11 - 13, 2003. Radhia Cousot (ed.). - Berlin : Springer***5108985, 2003. - XIV, 505 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2694)
ISBN 978-3-540-40325-8 / 3-540-40325-6 kart. : EUR 66.34
Literaturangaben
Quelle: DNB
Grimm, Klaus: Systematisches Testen von Software
: eine neue Methode und eine effektive Teststrategie / Klaus Grimm. - München : Oldenbourg, 1995. - 152 S. : graph. Darst.; 23 cm - (GMD-Bericht; Nr. 251)
ISBN 978-3-486-23547-0 / 3-486-23547-8 kart. : ca. DM 46.00
Quelle: DNB
Systemisches Testen mit Tensor
/ von Helmut Balzert .... - Mannheim : BI-Wiss.-Verl., 1993. - 363 S. : Ill., graph. Darst.; 22 cm - (Angewandte Informatik; Bd. 9)
ISBN 978-3-411-16041-9 / 3-411-16041-1 Pp. : DM 118.00
Literaturverz. S. 189 - 191
Quelle: DNB
Sneed, Harry M.: Testen objektorientierter Software
: das Praxishandbuch für den Test objektorientierter Client-Server-Systeme / Harry M. Sneed ; Mario Winter. - München : Hanser, 2002. - XIV, 418 S. : graph. Darst.; 25 cm
ISBN 978-3-446-21820-8 / 3-446-21820-3 Pp.
Quelle: DNB
Testing of communicating systems
: 16th IFIP international conference ; proceedings / TestCom 2004, Oxford, UK, March 17 - 19, 2004. Roland Groz ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2978)
ISBN 978-3-540-24704-3
Lizenzpflichtig
Quelle: DNB
Testing of communicating systems
: 15th IFIP international conference ; proceedings / TestCom 2003, Sophia Antipolis, France, May 26 - 28, 2003. Dieter Hogrefe ; Anthony Wiles (ed.). [IFIP TC6]. - Berlin : Springer, 2003. - XII, 310 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2644)
ISBN 978-3-540-40123-0 / 3-540-40123-7 kart. : EUR 66.34
Literaturangaben
Quelle: DNB
