Search results for ‘Edmund M. Clarke Jr. (Carnegie Mellon University),Orna Grumberg (Technion),Daniel Kroening (Oxford University),Doron Peled (Bar Ilan University),Helmut Veith (Technische Universitaet Darmstadt)’

Filter & Refine

      Cover image for Model Checking
      Hardback
      Add to list Added to list

      Model Checking

      Edmund M. Clarke Jr. (Carnegie Mellon University),Orna Grumberg (Technion),Daniel Kroening (Oxford University),Doron Peled (Bar Ilan University),Helmut Veith (Technische Universitaet Darmstadt)

      An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.

      $243.99

      Available to order, ships in approx 2 weeksAvailable to order