|
|
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 |
|  | Fundamental Approaches to Software Engineering: 14th International Conference, Fase 2011, Held as Part of the Joint European Conference on Theory and (Lecture Notes in Computer Science) | Giannakopoulou, Dimitra | Paperback | 3642198104 /
9783642198106 | 03/2011 | $52.24 |
|  | Software Engineering and Formal Methods: 12th International Conference, Sefm 2014, Grenoble, France, September 1-5, 2014, Proceedings 2014 Edition (Lecture Notes in Computer Science / Programming and Software) | Giannakopoulou, Dimitra | Paperback | 3319104306 /
9783319104300 | 08/2014 | $52.24 |
|  | Verified Software: Theories, Tools and Experiments: 6th International Conference, Vstte 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Pape 2014 Edition (Lecture Notes in Computer Science / Programming and Software) | Giannakopoulou, Dimitra | Paperback | 3319121537 /
9783319121536 | 10/2014 | $52.24 |
|
|
|