Buy Used and New James Woodcock Books

FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, ... 1051 (Lecture Notes in Computer Science)

by James Woodcock,Marie-Claude Gaudel

ISBN 13: 9783540609735

Format: Paperback (724 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later