Temporal logic of reactive and concurrent systems : specification / Zohar Manna, Amir Pnueli.
1992
QA76.6 .M366 1992
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Details
Title
Temporal logic of reactive and concurrent systems : specification / Zohar Manna, Amir Pnueli.
Author
ISBN
9781461269502
9781461209317 (e-book)
9781461209317 (e-book)
Published
New York : Springer Science+Business Media, 1992.
Copyright
©1992
Language
English
Description
1 online resource (427 pages) : illustrations
Call Number
QA76.6 .M366 1992
Dewey Decimal Classification
005.1
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Added Author
Available in Other Form
Print version: Manna, Zohar. Temporal logic of reactive and concurrent systems : specification. New York : Springer Science+Business Media, c1992 9781461269502
Linked Resources
Record Appears in