|
|
Title |
Author / Artist |
Prod Type |
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 | 06/2012 | $52.24 |
| | Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches | Bowman, Howard | Hardcover | 0521771846 / 9780521771849 | 10/2001 | $171.00 |
| | Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches | Bowman, Howard | Paperback | 0521168759 / 9780521168755 | 07/2011 | $59.84 |
| | Formal Methods for Open Object-Based Distributed Systems: Volume 2 1997 Edition (IFIP Advances in Information and Communication Technology) | Bowman, Howard | Hardcover | 0412820404 / 9780412820403 | 06/1997 | $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 | 06/2007 | $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 | 03/2004 | $52.24 |
| | Integrated Formal Methods: 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings 2012 Edition | Derrick, John | Paperback | 3642307280 / 9783642307287 | 06/2012 | $52.24 |
| | Refinement in Z and Object-Z: Foundations and Advanced Applications 2014 Edition | Derrick, John | Hardcover | 1447153545 / 9781447153542 | 09/2013 | $104.49 |
| | Refinement in Z and Object-Z: Foundations and Advanced Applications Softcover Repri Edition | Derrick, John | Paperback | 144716167X / 9781447161677 | 08/2015 | $104.49 |
|
|
|