Principles of model checking / Christel Baier, Joost-Pieter Katoen.
Material type: TextPublication details: Cambridge, MA : MIT Press, [2008?]Description: xvii, 975 p. : ill. ; 26 cmISBN: 9780262026499 (hbk.)Subject(s): Computer systems -- Verification | Computer software -- VerificationDDC classification: 004.2/4 LOC classification: QA76.76.V47 | B35 2008Online resources: Table of contents onlyItem type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Book | University of Macedonia Library Βιβλιοστάσιο Α (Stack Room A) | Main Collection | QA76.76.V47B35 2008 (Browse shelf (Opens below)) | 1 | Long Overdue (Lost) | 0013131571 |
Includes bibliographical references (p. 931-964) and index.
There are no comments on this title.