|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Formal Methods: Foundations and Applications: 17th Brazilian Symposium, Sbmf 2014, Maceió, Al, Brazil, September 29--October 1, 2014. Proceedings 2015 Edition (Lecture Notes in Computer Science / Programming and Software) | Braga, Christiano | Paperback | 331915074X /
9783319150741 | 01/2015 | $42.74 |
|  | Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday 2015 Edition (Lecture Notes in Computer Science) | Martí-Oliet, Narciso | Paperback | 3319231642 /
9783319231648 | 08/2015 | $52.24 |
|  | Recent Trends in Algebraic Development Techniques: 21st International Workshop, Wadt 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers 2013 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Martí-Oliet, Narciso | Paperback | 3642376347 /
9783642376344 | 04/2013 | $52.24 |
|
|
|