logo
Wrong email address or username
Wrong email address or username
Incorrect verification code

M. C. Gaudel's Books back

language per page order
Fme '96, Industrial Benefit Of Formal Methods: Third International Symposium Of Formal Methods Europe Co Sponsored By Ifip Wg 14.3, Oxford, Uk, March ... Ngs (Lecture Notes In Computer Science, 1051) - england International Symposium of Formal Methods Europe 1996 Oxford, M. C. Gaudel, Jim Woodcock
Fme '96, Industrial Benefit Of Formal Methods: Third International Symposium Of Formal Methods Europe Co Sponsored By Ifip Wg 14.3, Oxford, Uk, March ... Ngs (Lecture Notes In Computer Science, 1051)
by Jim Woodcock (author), england International Symposium of Formal Methods Europe 1996 Oxford (author), M. C. Gaudel (author)
ISBN: 0387609733 (9780387609737)
Need help?