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