Displaying 1 of 1 results for undefined
Formal methods : state of the art and new directions / Paul Boca, Jonathan P. Bowen, Jawed I. Siddiqi, editors.
Text
London ; New York Springer, c2010.
2010
1 Item
| Format | Call Number | Item Location |
|---|---|---|
| FormatText | Call NumberQA76.9.F67 F67 2010 | Item LocationOff-site |