Hardback
Add to list Added to list Principles of Model Checking
Christel Baier,Jost-Pieter Katoen
Presents a comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises…
Available to order, ships in approx 4 weeksAvailable to order