Research Catalog
Understanding formal methods
- Title
- Understanding formal methods / written and translated by Jean Francois Monin ; translation editor, Michael G. Hinchey.
- Author
- Monin, Jean François, 1960-
- Publication
- London ; New York : Springer, c2003.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 03-427 | Offsite |
Details
- Additional Authors
- Hinchey, Michael G. (Michael Gerard), 1969-
- Description
- xv, 275 p.; 24 cm.
- Subject
- Note
- "... published with the help of the French Ministere de la culture--Centre national du livre."
- Bibliography (note)
- Includes bibliographical references (p. [255]-267) and index.
- Call Number
- JSE 03-427
- ISBN
- 1852332476 (alk. paper)
- LCCN
- 2002030646
- OCLC
- vendor
- Author
- Monin, Jean François, 1960-
- Title
- Understanding formal methods / written and translated by Jean Francois Monin ; translation editor, Michael G. Hinchey.
- Imprint
- London ; New York : Springer, c2003.
- Bibliography
- Includes bibliographical references (p. [255]-267) and index.
- Added Author
- Hinchey, Michael G. (Michael Gerard), 1969-
- Research Call Number
- JSE 03-427