Research Catalog
The imperative future : principles of executable temporal logic
- Title
- The imperative future : principles of executable temporal logic / edited by Howard Barringer ... [et al.].
- Publication
- Taunton, Somerset, England : Research Studies Press ; New York : Wiley, c1996.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 96-1258 | Offsite |
Details
- Additional Authors
- Barringer, Howard, 1951-
- Description
- xv, 239 p. : ill.; 24 cm.
- Series Statement
- Advanced software development series ; 4
- Subjects
- Bibliography (note)
- Includes bibliographical references (p. 227-235) and index.
- Call Number
- JSE 96-1258
- ISBN
- 0471961302 (Wiley) (hb : alk. paper)
- 0863801900 (Research Studies Press) (hb : alk. paper)
- LCCN
- 96013638
- OCLC
- 34409709
- Title
- The imperative future : principles of executable temporal logic / edited by Howard Barringer ... [et al.].
- Imprint
- Taunton, Somerset, England : Research Studies Press ; New York : Wiley, c1996.
- Series
- Advanced software development series ; 4
- Bibliography
- Includes bibliographical references (p. 227-235) and index.
- Added Author
- Barringer, Howard, 1951-
- Research Call Number
- JSE 96-1258