|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Formal Methods: Foundations and Applications: 15th Brazilian Symposium, Sbmf 2012, Natal, Brazil, September 23-28, 2012. Proceedings 2012 Edition (Lecture Notes in Computer Science / Programming and Software) | Gheyi, Rohit | Paperback | 3642332951 / 9783642332951 | 08/2012 | $68.40 |
| | Unifying Theories of Programming: 5th International Symposium, Utp 2014, Singapore, May 13, 2014, Revised Selected Papers 2015 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Naumann, David | Paperback | 3319148052 / 9783319148052 | 02/2015 | $42.74 |
|
|
|