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.
Available to order, ships in approx 2 weeksAvailable to order