Go back
Verification Model Checking And Abstract Interpretation 14th International Conference Vmcai 2013 Rome Italy January 2013 Proceedings Lncs 7737(1st Edition)
Authors:
Roberto Giacobazzi ,Josh Berdine ,Isabella Mastroeni
Cover Type:
Condition:
Shipment time
Expected shipping within 2 DaysPopular items with books
Access to 30 Million+ solutions
Free ✝
Ask 50 Questions from expert
AI-Powered Answers
✝ 7 days-trial
Total Price:
$0
List Price: $
Savings: $0(