Showing 1 - 6 of 6 Results
1.
Model Checking by Edmund M. Clarke Jr., Orna ... ISBN: 9780262032704 List Price: $69.00
2.
Tools and Algorithms for the Construction and Analysis of Systems 13th International Confere... by Grumberg, Orna, Huth, Michael ISBN: 9783540712084 List Price: $129.00
3.
Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His... by Grumberg, Orna, Kaminski, M... ISBN: 9783642017476 List Price: $59.95
4.
Model Checking by Clarke, Edmund M., Jr., Gru... ISBN: 9780262038836 List Price: $75.00
6.
Computer Aided Verification by Grumberg, Orna ISBN: 9783662206973 List Price: $24.99