Title: Six Sigma Software Development, Author: Christine B. Tayntor
Title: EU Annex 11 Guide to Computer Validation Compliance for the Worldwide Health Agency GMP, Author: Orlando Lopez
Title: Concurrency Verification: Introduction to Compositional and Non-compositional Methods, Author: Willem-Paul de Roever
Title: Program Verification: Fundamental Issues in Computer Science, Author: Timothy T.R. Colburn

Pagination Links