|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Behavioral Types in Programming Languages (Foundations and Trends(r) in Programming Languages) | Ancona, Davide | Paperback | 1680831348 /
9781680831344 | 05/2016 | $94.05 |
|  | Concur 2009 - Concurrency Theory: 20th International Conference, Concur 2009, Bologna, Italy, September 1-4, 2009, Proceedings 2009 Edition (Lecture Notes in Computer Science) | Bravetti, Mario | Paperback | 3642040802 /
9783642040801 | 08/2009 | $104.49 |
|  | Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, Epew 2005 and International Workshop on Web 2005 Edition (Lecture Notes in Computer Science) | Bravetti, Mario | Paperback | 3540287019 /
9783540287018 | 08/2005 | $52.24 |
|  | Software Engineering and Formal Methods: 11th International Conference, Sefm 2013, Madrid, Spain, September 25-27, 2013, Proceedings 2013 Edition (Lecture Notes in Computer Science / Programming and Software) | Hierons, Robert M. | Paperback | 3642405606 /
9783642405600 | 09/2013 | $52.24 |
|  | Web Services and Formal Methods: 7th International Workshop, Ws-FM 2010, Hoboken, Nj, Usa, September 16-17, 2010. Revised Selected Papers 2011 Edition | Bravetti, Mario | Paperback | 3642195881 /
9783642195884 | 03/2011 | $52.24 |
|  | Web Services and Formal Methods: Third International Workshop, Ws-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings 2006 Edition (Lecture Notes in Computer Science) | Bravetti, Mario | Paperback | 3540388621 /
9783540388623 | 09/2006 | $52.24 |
|
|
|