Formal Approaches to Software Testing and Runtime Verification [electronic resource] : First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers / edited by Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff.
By: Havelund, Klaus.
Contributor(s): Núñez, Manuel | Roşu, Grigore | Wolff, Burkhart | SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science, 4262.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Description: digital.ISBN: 9783540497035.Subject(s): Computer science | Software engineering | Logic design | Information Systems | Computer Science | Software Engineering | Programming Languages, Compilers, Interpreters | Logics and Meanings of Programs | Management of Computing and Information SystemsDDC classification: 005.1 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.