Principles of Model Checking
Contributors: Kim Guldstrand Larsen (Foreword)
Publisher: The MIT Press
Published: May 31, 2008
Language: eng
Format: Hardcover
Number of pages: 936
ISBN-13: 9780262026499
Subjects: General Theory of Computing; Computers; Computers - General Information; Computer Books: Languages; Computer Science; Operating Systems - General; Programming - Algorithms; Computers / Programming / Algorithms