Mario Bravetti的作品

iMusic 有现货显示无货商品

Cover for Mario Bravetti · Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers - Programming and Software Engineering (Paperback Book) [2011 edition] (2011)

Web Services and Formal Methods:... (2011)

Cover for Mario Bravetti · CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2009 edition] (2009)

CONCUR 2009 - Concurrency Theory... (2009)

Cover for Mario Bravetti · Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2006 edition] (2006)

Web Services and Formal Methods:... (2006)