While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary
Read More
While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary
Read Less
Add this copy of Symbolic Computation and Automated Reasoning: The to cart. $139.88, new condition, Sold by Booksplease rated 4.0 out of 5 stars, ships from Southport, MERSEYSIDE, UNITED KINGDOM, published 2001 by A K PETERS.
Add this copy of Symbolic Computation and Automated Reasoning: The to cart. $168.70, new condition, Sold by Just one more Chapter rated 3.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 2001 by A K PETERS.
