This monograph presents abstract interpretation and shows how its principles can be successfully applied to cope with the difficulties inherent to formal verification. It discusses the principles of static analysis by abstract interpretation.
Read More
This monograph presents abstract interpretation and shows how its principles can be successfully applied to cope with the difficulties inherent to formal verification. It discusses the principles of static analysis by abstract interpretation.
Read Less
Add this copy of Static Analysis and Verification of Aerospace Software to cart. $77.30, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2015 by Now Publishers.
Add this copy of Static Analysis and Verification of Aerospace Software to cart. $102.03, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2015 by Now Publishers.
Add this copy of Static Analysis and Verification of Aerospace Software to cart. $103.88, new condition, Sold by Paperbackshop rated 4.0 out of 5 stars, ships from Bensenville, IL, UNITED STATES, published 2015 by Now Publishers.
Add this copy of Static Analysis and Verification of Aerospace Software to cart. $106.40, new condition, Sold by Revaluation Books rated 4.0 out of 5 stars, ships from Exeter, DEVON, UNITED KINGDOM, published 2015 by Now Pub.