Categories
English
Shops
Outlet
Events
Login
Join
Categories
Books
Audiobooks
E-books
Games
Stationery
Gifts
Music & Movies
Electronics
Special offers!
Shipping is free
Model Checking
Model Checking
Author
Edmund M. Clarke Jr. (Carnegie Mellon University)
,
Orna Grumberg (Technion)
,
Doron Peleg
This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers.
Permanently out of stock
Add to favorites
Notify when back in stock
Support