![Cover image for Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers Cover image for Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers
Author:
Hierons, Robert M. editor.
ISBN:
9783540789178
Physical Description:
online resource.
Series:
Lecture Notes in Computer Science, 4949
Series Title:
Lecture Notes in Computer Science, 0302-9743 ; 4949
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-540-78917-8Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 188277-2001 | ONLINE | Searching... | Searching... |