Principles of model checking / Christel Baier, Joost-Pieter Katoen.
2008
QA76.76.V47 B35 2008 (Mapit)
Available at General Collection
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Items
Details
Title
Principles of model checking / Christel Baier, Joost-Pieter Katoen.
Author
ISBN
9780262026499 (alk. paper)
026202649X (alk. paper)
026202649X (alk. paper)
Published
Cambridge, Mass. : The MIT Press, [2008?]
Language
English
Description
xvii, 975 pages : illustrations ; 26 cm
Call Number
QA76.76.V47 B35 2008
Dewey Decimal Classification
004.2/4
Bibliography, etc. Note
Includes bibliographical references (p. 931-964) and index.
Added Author
Record Appears in