Research Catalog
Temporal logic and state systems /
- Title
- Temporal logic and state systems / Fred Kröger, Stephen Merz.
- Author
- Kröger, Fred, 1945-
- Publication
- Berlin : Springer, c2008.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
Not available - Please for assistance. | Text | Use in library | BC199.T4 K76 2008 | Off-site |
Details
- Additional Authors
- Merz, Stephan.
- Description
- xi, 433 p. : ill.; 24 cm.
- Series Statement
- Texts in theoretical computer science ; ISSN 1862-4499
- Uniform Title
- Texts in theoretical computer science.
- Subjects
- Bibliography (note)
- Includes bibliographical references (p. [421]-428) and index.
- ISBN
- 9783540674016
- 3540674012
- LCCN
- 2008921857
- Owning Institutions
- Princeton University Library