Computer Aided Verification
Ed Brinksma, Kim G. Larsen
₹4,400
Author
Books by Ed Brinksma
Showing 1–3 of 3 books
Tools and Algorithms for the Construction and Analysis of Systems
Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen
₹5,527
Tools and Algorithms for the Construction and Analysis of Systems
Ed Brinksma
₹5,598