Opening book details…
Can I read Web services and formal methods : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers on EtoBox?
Web services and formal methods : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers by Richard Hull, Elio Damaggio, Fabiana Fournier (auth.), Mario Bravetti, Tevfik Bultan (eds.) is a nonfiction available to read on EtoBox.
What is Web services and formal methods : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers about?
This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. The 11 revised full papers presented together with one invited paper were carefully reviewed and selected from 26 submissions. The papers feature topics such as web services; service oriented computing; cloud computing; formal methods; verification specification; testing; and business process management. Erscheinungsdatum: 31.03.2011
Who reads Web services and formal methods : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Richard Hull, Elio Damaggio, Fabiana Fournier (auth.), Mario Bravetti, Tevfik Bultan (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2011
- Language
- EN
- ISBN
- 9783642195891
- Category
- nonfiction
- Subjects
- Engineering, Management, Music
More by Richard Hull, Elio Damaggio, Fabiana Fournier (auth.), Mario Bravetti, Tevfik Bultan (eds.)
Similar books
- Web services and formal methods : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers — Mario Bravetti, Gianluigi Zavattaro (auth.), Roberto Bruni, Karsten Wolf (2009)
- Web Services and Formal Methods [recurso electrónico] 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers — Lhouari Nourine, Farouk Toumani (auth.), Maurice H. ter Beek, Niels Lohmann (2013)
- Web services and formal methods : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers — Kohei Honda (auth.), Marco Carbone, Jean-Marc Petit (2012)
- Web Services, Formal Methods, and Behavioral Types : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers — Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich (2016)
- Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings (Lecture Notes in Computer Science, 4937) — Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao (auth.), Marlon Dumas, Reiko Heckel (2008)
- Formal Aspects Of Security And Trust: 7th International Workshop, Fast 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers (lecture Notes In Computer Science) — Dusko Pavlovic (auth.), Pierpaolo Degano, Sandro Etalle, Joshua Guttman (2011)
