Industrial-Strength Formal Methods In Practice
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | September 17, 1999 |
| Editors | Michael Hinchey |
| Jonathan Bowen | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2247308 |
About Industrial-Strength Formal Methods In Practice
Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. . . .