Add this copy of A Roadmap for Formal Property Verification to cart. $117.19, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2006 by Springer.
Add this copy of A Roadmap for Formal Property Verification to cart. $112.32, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2006 by Springer.
Add this copy of A Roadmap for Formal Property Verificaiton (Hb) to cart. $41.65, new condition, Sold by discount_scientific_books rated 4.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2006 by Springer.
Add this copy of A Roadmap for Formal Property Verificaiton (Hb) to cart. $42.38, new condition, Sold by discount_scientific_books rated 4.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2006 by Springer.
