Industrial-strength formal methods in practice
By: Bowen, Jonathan P.
Contributor(s): Hinchey, Michael G.
Material type:
BookSeries: Formal approaches to computing and information technology.Publisher: London: Springer, 1999Description: xvi, 400 p.; ill., index: 24 cm.ISBN: 1852336404 .Subject(s): Formal methods (Computer science)DDC classification: 005.131
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 005.131 HIN (Browse shelf) | Available | 015203 |
Browsing DAIICT Shelves Close shelf browser
| 005.131 GON Mathematical logic through Python | 005.131 GRU Parsing techniques : a practical guide | 005.131 HAM Logic and language models for computer science | 005.131 HIN Industrial-strength formal methods in practice | 005.131 LIN Introduction to formal languages and automata | 005.131 LIN Introduction to formal languages and automata | 005.131 LIN Introduction to formal languages and automata |
There are no comments for this item.