Cover Image

Formal Methods and Testing An Outcome of the FORTEST Network. Revised Selected Papers /

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Hierons, Robert M. (Editor, http://id.loc.gov/vocabulary/relators/edt), Bowen, Jonathan P. (Editor, http://id.loc.gov/vocabulary/relators/edt), Harman, Mark. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edition:1st ed. 2008.
Series:Programming and Software Engineering ; 4949
Subjects:
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Management information systems.
Computer science.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Management of Computing and Information Systems.
Online Access:https://doi.org/10.1007/978-3-540-78917-8

Internet

https://doi.org/10.1007/978-3-540-78917-8

Similar Items