Showing 1 - 7 of 7 Results
1.
CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy... by Bravetti, Mario, Zavattaro,... ISBN: 9783642040801 List Price: $119.00
2.
Web Services and Formal Methods : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, ... by Bravetti, Mario, Bultan, Te... ISBN: 9783642195884 List Price: $72.00
3.
Formal Techniques for Computer Systems And Business Processed European Performance Engineeri... by Bravetti, Mario, Kloul, Lei... ISBN: 9783540287018 List Price: $72.00
4.
Web Services and Formal Methods Third International Workshop, Ws-fm 2006, Vienna, Austria, S... by Bravetti, Mario, Nunez, Man... ISBN: 9783540388623 List Price: $63.00
5.
Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, ... by Hierons, Robert, Merayo, Me... ISBN: 9783642405600 List Price: $79.99
6.
Behavioral Types in Programming Languages (Foundations and Trends in Programming Languages) by Davide Ancona, Viviana Bono... ISBN: 9781680831344 List Price: $99.00
7.
Web Services and Formal Methods by Bravetti, Mario, Bultan, Te... ISBN: 9783642195907 List Price: $24.99