|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | At The Pinnacle: One Woman's Running Journey | Abraham, Erika | Paperback | 0991105281 /
9780991105281 | 05/2018 | $13.46 |
|  | Formal Techniques for Distributed Objects, Components, and Systems: 34th Ifip Wg 6.1 International Conference, Forte 2014, Held as Part of the 9th Int 2014 Edition (Lecture Notes in Computer Science / Programming and Software) | Ábrahám, Erika | Paperback | 3662436124 /
9783662436127 | 05/2014 | $52.24 |
|  | Integrated Formal Methods: 12th International Conference, Ifm 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings 2016 Edition (Lecture Notes in Computer Science) | Ábrahám, Erika | Paperback | 3319336924 /
9783319336923 | 05/2016 | $85.49 |
|  | Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday 2016 Edition (Lecture Notes in Computer Science) | Ábrahám, Erika | Paperback | 3319307339 /
9783319307336 | 03/2016 | $52.24 |
|  | Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, Tacas 2014, Held as Part of the European Joint Confe 2014 Edition | Abraham, Erika | Paperback | 364254861X /
9783642548611 | 03/2014 | $52.24 |
|
|
|