|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Dependability and Computer Engineering: Concepts for Software-Intensive Systems | Petre, Luigia | Hardcover | 1609607473 /
9781609607470 | 07/2011 | $185.25 |
|  | From Action Systems to Distributed Systems: The Refinement Approach | Petre, Luigia | Hardcover | 1498701582 /
9781498701587 | 04/2016 | $209.00 |
|  | Integrated Formal Methods: 10th International Conference, Ifm 2013, Turku, Finland, June 10-14, 2013, Proceedings 2013 Edition (Lecture Notes in Computer Science / Programming and Software) | Johnsen, Einar Broch | Paperback | 3642386121 /
9783642386121 | 05/2013 | $52.24 |
|  | Integrated Formal Methods: Third International Conference, Ifm 2002, Turku, Finland, May 15-18, 2002. Proceedings. 2002 Edition (Lecture Notes in Computer Science,) | Butler, Michael | Paperback | 3540437037 /
9783540437031 | 05/2002 | $52.24 |
|
|
|