Formal Methods and Testing [electronic resource] : An Outcome of the FORTEST Network, Revised Selected Papers / edited by Robert M. Hierons, Jonathan P. Bowen, Mark Harman.
Material type:
Computer fileSeries: Lecture Notes in Computer Science, 4949Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Edition: 1a edDescription: v.: digitalISBN: 9783540789178Subject(s): Método formal (Informatica) -- Congresos | Software por computador -- CongresosLOC classification: QA76.9.F67Online resources: Click here to access online
In:
Springer eBooks
| Item type | Current location | Call number | URL | Copy number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|---|---|
Libro Electrónico
|
Biblioteca Digital
Responsable: Alejandra Vargas Mejía
Colección Digital
|
QA76.9.F67 H54 2008 (Browse shelf) | Link to resource | 1 | Available | SpringerLink | BDIG00009821 |
There are no comments on this title.