Research Catalog
Industrial-strength formal methods in practice
- Title
- Industrial-strength formal methods in practice / Michael G. Hinchey and Jonathan P. Bowen, (eds.).
- Publication
- Berlin ; New York : Springer, c1999.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Request in advance | JSE 00-1135 | Offsite |
Details
- Additional Authors
- Description
- xvi, 400 p. : ill.; 24 cm.
- Series Statement
- Formal approaches to computing and information technology
- Subject
- Bibliography (note)
- Includes bibliographical references and index.
- Call Number
- JSE 00-1135
- ISBN
- 1852336404 (alk. paper)
- LCCN
- 99033669
- OCLC
- vendor
- Title
- Industrial-strength formal methods in practice / Michael G. Hinchey and Jonathan P. Bowen, (eds.).
- Imprint
- Berlin ; New York : Springer, c1999.
- Series
- Formal approaches to computing and information technology
- Bibliography
- Includes bibliographical references and index.
- Added Author
- Hinchey, Michael G. (Michael Gerard), 1969-Bowen, J. P. (Jonathan Peter), 1956-
- Research Call Number
- JSE 00-1135