| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 77a4c29a-394f-4a82-979a-67fd6d8bc282 |
| isbn | 1852332476 9781852332471 |
| issn | |
| language | eng |
| physical | xv, 275 pages ;24 cm |
| publication | – publisher: Springer dateOfPublication: ©2003 |
| publishDate | ©2003 |
| subjects | |
| title | Understanding formal methods / written and translated by Jean François Monin ; translation editor, Michael G. Hinchey. |
| topic | Formal methods (Computer science) Formal methods (Computer science) |