Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings | 978-3-642-04080-1 | 2009 | Mario Bravetti |
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software ... Notes in Computer Science, Band 5016) | 978-3-540-68892-1 | 2008 | Marco Bernardo · Pierpaolo Degano |
Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, ... Notes in Computer Science , Band 3535) | 978-3-540-26181-0 | 2008 | Martin Steffen |
Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, ... Notes in Computer Science, Band 5569) | 978-3-642-01917-3 | 2010 | Marco Bernardo · Luca Padovani |
Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web ... Notes in Computer Science, Band 3670) | 978-3-540-28701-8 | 2008 | Leila Kloul · Mario Bravetti |
Service-Oriented and Cloud Computing: First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012, Proceedings | 978-3-642-33426-9 | 2012 | Flavio De Paoli · Ernesto Pimentel |
Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings | 978-3-540-38862-3 | 2009 | Mario Bravetti · Manuel Núñz |