Treffer: Formal Methods and Testing
Titel:
Formal Methods and Testing : An Outcome of the FORTEST Network. Revised Selected Papers / edited by Robert M. Hierons, Jonathan P. Bowen, Mark Harman
Beteiligt:
Ausgabe:
1st ed. 2008
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XIII, 367 Seiten)
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 4949
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Methods and Testing. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - ISBN 9783540789161
RVK-Notation:
Schlagworte:
ISBN:
9783540789178 ; 3540789170 ; 9783540789161 (Sekundärausgabe) ; 9783540849605 (Sekundärausgabe)
DOI:
10.1007/978-3-540-78917-8