An introduction to practical formal methods using temporal logic / Michael Fisher.
2011
QA267.5.T45 F57 2011
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Details
Title
An introduction to practical formal methods using temporal logic / Michael Fisher.
Author
ISBN
9780470027882
9781119991489
9781119991489
Publication Details
Chichester, West Sussex, U.K. ; Hoboken, N.J. : Wiley, c2011.
Language
English
Description
1 online resource (vii, 353 pages ) : illustrations
Call Number
QA267.5.T45 F57 2011
Dewey Decimal Classification
511.3
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Linked Resources
Record Appears in