|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings 2006 Edition (Lecture Notes in Computer Science) | Misra, Jayadev | Paperback | 3540372156 /
9783540372158 | 08/2006 | $104.49 |
|  | From Action Systems to Distributed Systems: The Refinement Approach | Petre, Luigia | Hardcover | 1498701582 /
9781498701587 | 04/2016 | $209.00 |
|  | Integrated Formal Methods: 11th International Conference, Ifm 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings 2014 Edition (Lecture Notes in Computer Science / Programming and Software) | Albert, Elvira | Paperback | 3319101803 /
9783319101804 | 09/2014 | $52.24 |
|  | Program Development by Refinement: Case Studies Using the B Method 1999 Edition (Formal Approaches to Computing and Information Technology (F) | Sekerinski, Emil | Paperback | 1852330538 /
9781852330538 | 10/1998 | $208.99 |
|
|
|