Research Catalog
Verification of digital and hybrid systems
- Title
- Verification of digital and hybrid systems / edited by M. Kemal Inan, Robert P. Kurshan.
- Publication
- Berlin ; New York : Springer, c2000.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 00-1882 | Offsite |
Details
- Additional Authors
- Description
- xviii, 405 p. : ill.; 24 cm.
- Series Statement
- NATO ASI series. no. 170
- Subject
- Computer systems > Verification > Congresses
- Note
- "Proceedings of the NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Antalya, May 26-June 6, 1997"--Verso t.p.
- Bibliography (note)
- Includes bibliographical references and index.
- Call Number
- JSE 00-1882
- ISBN
- 3540655956 (hardcover : alk. paper)
- LCCN
- 99038271
- OCLC
- 41662620
- Title
- Verification of digital and hybrid systems / edited by M. Kemal Inan, Robert P. Kurshan.
- Imprint
- Berlin ; New York : Springer, c2000.
- Series
- NATO ASI series. Series F. Computer and systems sciences ; no. 170
- Bibliography
- Includes bibliographical references and index.
- Added Author
- Inan, M. Kemal, 1942-Kurshan, R. P., 1943-NATO Advanced Study Institute on Verification of Digital and Hybrid Systems (1997 : Antalya, Turkey)
- Research Call Number
- JSE 00-1882