Formal approaches to software testing
: revised papers / Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Alexandre Petrenko ; Andreas Ulrich (ed.). - Berlin : Springer, 2004. - VIII, 266 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2931)
ISBN 978-3-540-20894-5 / 3-540-20894-1 kart. : EUR 44.94 (freier Pr.), sfr 76.50
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal approaches to software testing
: revised papers / Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Alexandre Petrenko ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2931)
ISBN 978-3-540-24617-6
Lizenzpflichtig
Quelle: DNB
Testing of software and communicating systems
: 19th IFIP TC6/WG6.1 international conference ; proceedings / TestCom 2007 ... Tallin, Estonia, June 26 - 29, 2007. Alexandre Petrenko ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4581)
ISBN 978-3-540-73066-8
Lizenzpflichtig
Quelle: DNB
