Understanding formal methods / written and translated by Jean François Monin ; translation editor, Michael G. Hinchey.
Material type:
TextLanguage: English Original language: French Publication details: London : Springer, 2002.Description: 292 p. : ill. ; 24 cmISBN: - 9781852332471:
- 1852332476
- Introduction aux methodes formelles. English
- 005.131
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| General Lending | Carlow Campus Library General Lending | 005.131 (Browse shelf(Opens below)) | 1 | Available | 46616 |
CW228
CW046
CW082
" ... published with the help of the French Ministère de la culture--Centre national du livre."
Includes bibliographical references and index.
Translated from the French.
44.48