To view prices and purchase online, please login, or register for an account.
(Hardback)
By: Christel Baier
ISBN: 9780262026499
Readership/Audience: Professional and Scholarly
Publication Date: Apr 2008
Publisher: MIT Press Ltd
See more...
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.
