Skip to main content
  1. Textbooks
  2. Principles of Model Checking

Christel Baier, Joost-Pieter Katoen

ISBN 978-0-262-02649-9

Mit Press

Sell your copy of this textbook

Buy new

Buy from Amazon for $145.06

Buy secondhand from 0 sellers


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

Please check back soon for more copies.