Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Bibliographic Details
Published in:Springer e-books
Main Author: Havelund, Klaus
Corporate Author: SpringerLink (Online service)
Other Authors: Núñez, Manuel, Rosu, Grigore, Wolff, Burkhart
Format: eBook
Language:English
Published: Berlin Heidelberg : Springer-Verlag GmbH., 2006
Series:Lecture Notes in Computer Science,
Subjects:
Computer Science
Information systems
Logic design
Software engineering
Logics and Meanings of Programs
Management of Computing and Information Systems
Programming Languages, Compilers, Interpreters
Software Engineering
Online Access:http://dx.doi.org/10.1007/11940197
Перейти в каталог НБ ТГУ

Internet

http://dx.doi.org/10.1007/11940197
Перейти в каталог НБ ТГУ

Similar Items