Title: High Integrity Software, Author: Victor L. Winter
Title: Successful Evolution of Software Systems, Author: Hongji Yang
Title: Untitled, Author: Unknown Pre-Order Now
Title: Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software, Author: Reinhold Ploesch
Title: Software Verification And Validation, Author: Steven R. Rakitin
Title: Guide to Software Verification with Frama-C: Core Components, Usages, and Applications, Author: Nikolai Kosmatov
Title: Software Testing and Quality Assurance: Theory and Practice, Author: Kshirasagar Naik

Pagination Links