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
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
Formal approaches to software testing and runtime verification
: revised selected papers / First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15 - 16, 2006. Klaus Havelund ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4262)
ISBN 978-3-540-49703-5
Lizenzpflichtig
Quelle: DNB
Formal methods
: proceedings / FME 2003, International Symposium of Formal Methods Europe, Pisa, Italy, September 8 - 14, 2003. Keijiro Araki ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2805)
ISBN 978-3-540-45236-2
Lizenzpflichtig
Quelle: DNB
Formal methods
: proceedings / FME 2006, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21 - 27, 2006. Jayadev Misra ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4085)
ISBN 978-3-540-37216-5
Lizenzpflichtig
Quelle: DNB
Formal methods
: proceedings / FME 2003, International Symposium of Formal Methods Europe, Newcastle, UK, July 18 - 22, 2005. John Fitzgerald ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3582)
ISBN 978-3-540-31714-2
Lizenzpflichtig
Quelle: DNB
Formal methods
: proceedings / FME 2003, International Symposium of Formal Methods Europe, Pisa, Italy, September 8 - 14, 2003. Keijiro Araki ... (ed.). - Berlin : Springer, 2003. - XVII, 942 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2805)
ISBN 978-3-540-40828-4 / 3-540-40828-2 kart. : EUR 98.44 (freier Pr.), sfr 153.00
Literaturangaben
Quelle: DNB
Formal methods and software engineering
: proceedings / 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5 - 7, 2003. Jin Song Dong ; Jim Woodcock (ed.). - Berlin : Springer, 2003. - XI, 681 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2885)
ISBN 978-3-540-20461-9 / 3-540-20461-X kart. : EUR 79.18
Literaturangaben
Quelle: DNB
Formal methods and software engineering
: proceedings / 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5 - 7, 2003. Jin Song Dong ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2885)
ISBN 978-3-540-39893-6
Lizenzpflichtig
Quelle: DNB
