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. $95.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.
Add this copy of Scalable Techniques for Formal Verification to cart. $103.32, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2010 by Springer.
Add this copy of Scalable Techniques for Formal Verification to cart. $112.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. $118.84, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2014 by Springer.
