Computer software Verification

10 titles from eBooks.com

New Releases

Language

Ebook Format

DRM

Software Verification And Validation For Practitioners And Managers
Artech House (2001)
90,69 €

A concise and practical introduction to the basic principles of effective software verification and...

Verification and Validation for Quality of UML 2.0 Models

A practical approach to enhancing quality in software models using UML Version 2.0 "Despite its...

Mastering Gradle
Packt Publishing (2015)
39,26 €

If you are a developer with some experience in build tool and want to become an expert in build...

Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers

Hardware and Software, Verification and Testing

Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers

Eyal Bin, Avi Ziv and 1 more...
Springer Berlin Heidelberg (2007)
67,82 €

The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa...

Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings

Hardware and Software: Verification and Testing

Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings

Springer Berlin Heidelberg (2008)
71,39 €

This volume contains the proceedings of the 3rd Haifa Veri?cation Conference (HVC...

Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

Model Checking and Artificial Intelligence

4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

Springer Berlin Heidelberg (2007)
71,39 €

The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are...

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings

Verification, Model Checking, and Abstract Interpretation

8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings

Springer Berlin Heidelberg (2007)
91,62 €

The book constitutes the refereed proceedings of the 7th International Conference on Verification,...

Abstraction Refinement for Large Scale Model Checking
Springer US (2006)
118,99 €

Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction...

Software Verification and Validation: An Engineering and Scientific Approach

Software Verification and Validation

An Engineering and Scientific Approach

Springer US (2007)
107,09 €

This book is an in-depth technical reference providing methods and techniques for building and...

Software Verification and Analysis: An Integrated, Hands-On Approach
Springer London (2009)
67,82 €

This book addresses the most important techniques in improving the correctness of software,...