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.

By: Hierons, Robert MContributor(s): Bowen, Jonathan P | Harman, Mark | SpringerLink (Online service)Material type: Computer fileComputer 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
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Call number URL Copy number Status Notes Date due Barcode
Libro Electrónico 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.

to post a comment.

Powered by Koha