|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings 2012 Edition (Lecture Notes in Computer Science / Programming and Software) | Giannakopoulou, Dimitra | Paperback | 3642327583 / 9783642327582 | 07/2012 | $52.24 |
| | Integrated Formal Methods: 8th International Conference, Ifm 2010, Nancy, France, October 11-14, 2010, Proceedings 2010 Edition | Méry, Dominique | Paperback | 3642162649 / 9783642162640 | 10/2010 | $52.24 |
| | Theoretical Aspects of Computing - Ictac 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings 2014 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Ciobanu, Gabriel | Paperback | 3319108816 / 9783319108810 | 09/2014 | $52.24 |
|
|
|