1. Textbooks
  2. Model Checking

Model Checking

E. M. Clarke, Orna Grumberg, Doron Peled

ISBN 978-0-262-03270-4

MIT Press

Sell your copy of this textbook

Buy new

Buy from The Nile for $109.98 with fast shipping from Australia Save 22%

We don't have any copies of Model Checking at the moment!

Please check back soon for more copies.