This book presents the latest approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It outlines theoretical and practical issues and includes a range of case studies.
Read More
This book presents the latest approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It outlines theoretical and practical issues and includes a range of case studies.
Read Less
Add this copy of Scalable Techniques for Formal Verification to cart. $106.12, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2014 by Springer.
Add this copy of Scalable Techniques for Formal Verification to cart. $121.72, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2014 by Springer.
Add this copy of Scalable Techniques for Formal Verification to cart. $133.30, new condition, Sold by Booksplease rated 3.0 out of 5 stars, ships from Southport, MERSEYSIDE, UNITED KINGDOM, published 2014 by Springer.
Add this copy of Scalable Techniques for Formal Verification to cart. $102.00, like new condition, Sold by Patrico Books rated 5.0 out of 5 stars, ships from Apollo Beach, FL, UNITED STATES, published 2010 by Springer.
