logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, ... (Lecture Notes in Computer Science) - Marie-Claude Gaudel, James Woodcock
FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, ... (Lecture Notes in Computer Science)
by: (author) (author)
Format: kindle
ASIN: B000QCUC0K
Publisher: Springer
Pages no: 711
Edition language: English
Bookstores:
Books by James Woodcock
Books by Marie-Claude Gaudel
Share this Book
Need help?