Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008
Online
Monographie, Aufsatzsammlung, Elektronische Ressource
Ermittle Ausleihstatus...
Titel: |
Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers
|
---|---|
Verantwortlichkeitsangabe: | edited by Robert M. Hierons, Jonathan P. Bowen, Mark Harman |
Autor/in / Beteiligte Person: | Hierons, Robert M. ; Bowen, Jonathan P. ; Harman, Mark |
Lokaler Link: | |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008 |
Medientyp: | Monographie, Aufsatzsammlung |
Datenträgertyp: | Elektronische Ressource |
ISBN: | 9783540789178 |
DOI: | 10.1007/978-3-540-78917-8 |
Schlagwort: |
|
Sonstiges: |
|