INDUSTRIAL- STRENGTH FORMAL METHODS IN PRACTICE
JONATHAN P BOWEN ; MICHAEL G HINCHEY
INDUSTRIAL- STRENGTH FORMAL METHODS IN PRACTICE - SPRINGER INC 1999 - 400
1852336404
COMPUTER SCIENCE GENERAL
005.131 / JON
INDUSTRIAL- STRENGTH FORMAL METHODS IN PRACTICE - SPRINGER INC 1999 - 400
1852336404
COMPUTER SCIENCE GENERAL
005.131 / JON