Title
Author / Artist
Binding
ISBN/ISBN-13 or UPC
Pub Date
Price
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, Abz 2012, Pisa, Italy, June 18-21, 2012. Proceedings 2012 Edition Derrick, John Paperback 3642308848 / 9783642308840 2012-06-12 $52.24
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches Bowman, Howard Hardcover 0521771846 / 9780521771849 2001-10-22 $145.35
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches Bowman, Howard Paperback 0521168759 / 9780521168755 2011-07-21 $56.04
Formal Methods for Open Object-Based Distributed Systems: Volume 2 1997 Edition (IFIP Advances in Information and Communication Technology)Bowman, Howard Hardcover 0412820404 / 9780412820403 1997-06-30 $208.99
Formal Techniques for Networked and Distributed Systems - Forte 2007: 27th Ifip Wg 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, P 2007 Edition (Lecture Notes in Computer Science)Derrick, John Paperback 3540731954 / 9783540731955 2007-06-12 $52.24
Integrated Formal Methods: 4th International Conference, Ifm 2004, Canterbury, Uk, April 4-7, 2004, Proceedings 2004 Edition (Lecture Notes in Computer Science)Boiten, Eerke Paperback 3540213775 / 9783540213772 2004-03-24 $52.24
Integrated Formal Methods: 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings 2012 Edition Derrick, John Paperback 3642307280 / 9783642307287 2012-06-06 $52.24
Refinement in Z and Object-Z: Foundations and Advanced Applications 2014 Edition Derrick, John Hardcover 1447153545 / 9781447153542 2013-09-12 $104.49
Refinement in Z and Object-Z: Foundations and Advanced Applications Softcover Repri Edition Derrick, John Paperback 144716167X / 9781447161677 2015-08-23 $104.49