+ PRICE WATCH * Amazon pricing is not included in price watch

Model Checking Book

-- R. P. Kurshan, Distinguished Member Technical Staff, Bell Laboratories Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages...Read More

from£40.76 | RRP: ~~£46.95~~
* Excludes Voucher Code Discount Also available Used from £5.15

ASDA
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.
Pickabook
E.M. Clarke, Orna Grumberg, Doron A. Peled

As an Amazon Associate we earn from qualifying purchases. If you click through any of the links below and make a purchase we may earn a small commission (at no extra cost to you). Click here to learn more.

NEW
PRE-OWNED

Model Checking Book

Book Categories