Showing 1 - 3 of 3 Results
1.
Tools And Algorithms for the Construction And Analysis of Systems 11th International Confere... by Halbwachs, Nicolas, Zuck, L... ISBN: 9783540253334 List Price: $104.00
3.
Verification, Model Checking, and Abstract Interpretation by Zuck, Lenore D., Attie, Pau... ISBN: 9783662169674 List Price: $24.99