Displaying 2 of 2 results for undefined
Understanding formal methods / written and translated by Jean François Monin ; translation editor, Michael G. Hinchey.
Text
London ; New York : Springer, [2003], ©2003.
2003-2003
1 Item
| Format | Call Number | Item Location |
|---|---|---|
| FormatText | Call NumberQA76.6 .M6513 2003 | Item LocationOff-site |
Understanding formal methods / written and translated by Jean Francois Monin ; translation editor, Michael G. Hinchey.
Text
London ; New York : Springer, c2003.
2003
1 Item
| Format | Call Number | Item Location |
|---|---|---|
| FormatText | Call NumberJSE 03-427 | Item LocationOffsite |