Formal approaches to software testing
: 5th international workshop ; revised selected papers / FATES 2005, Edinburgh, UK, July 11, 2005 / Wolfgang Grieskamp ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3997)
ISBN 978-3-540-34455-1
Lizenzpflichtig
Quelle: DNB
Formal approaches to software testing
: 5th international workshop ; revised selected papers / FATES 2005, Edinburgh, UK, July 11, 2005 / Wolfgang Grieskamp ; Carsten Weise (ed.). - Berlin : Springer, 2006. - XII, 217 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3997)
ISBN 978-3-540-34454-4 / 3-540-34454-3 kart. : EUR 44.94 (freier Pr.), sfr 76.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Integrated formal methods
: second international conference ; proceedings / IFM 2000, Dagstuhl Castle, Germany, November 2000. Wolfgang Grieskamp ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1945)
ISBN 978-3-540-40911-3
Lizenzpflichtig
Quelle: DNB
