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

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

Bibliographic Details
Published in:Springer eBooks
Main Author: Hierons, Robert M.
Corporate Author: SpringerLink (Online service)
Other Authors: Bowen, Jonathan P., Harman, Mark
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
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/978-3-540-78917-8
Перейти в каталог НБ ТГУ

Internet

http://dx.doi.org/10.1007/978-3-540-78917-8
Перейти в каталог НБ ТГУ

Similar Items