|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Formal Techniques for Distributed Objects, Components, and Systems: 36th Ifip Wg 6.1 International Conference, Forte 2016, Held as Part of the 11th In 2016 Edition (Lecture Notes in Computer Science) | Albert, Elvira | Paperback | 3319395696 /
9783319395692 | 06/2016 | $52.24 |
|  | 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 |
|  | Logic-Based Program Synthesis and Transformation: 22nd International Symposium, Lopstr 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected 2013 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Albert, Elvira | Paperback | 3642381960 /
9783642381966 | 05/2013 | $68.40 |
|
|
|