Model Checking Book + 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 £12.74
  • 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

  • 0262032708
  • 9780262032704
  • EM Clarke
  • 4 February 2000
  • MIT Press
  • Hardcover (Book)
  • 314
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.

Would you like your name to appear with the review?

We will post your book review within a day or so as long as it meets our guidelines and terms and conditions. All reviews submitted become the licensed property of www.find-book.co.uk as written in our terms and conditions. None of your personal details will be passed on to any other third party.

All form fields are required.