Opening book details…
Can I read Lecture Notes In Computer Science 5387 Programming And Software Engineering Mario Bravetti Gianluigi Zavattaro Auth Roberto Bruni Karsten Wolf Eds Web Services And Formal Methods 5th I on EtoBox?
Lecture Notes In Computer Science 5387 Programming And Software Engineering Mario Bravetti Gianluigi Zavattaro Auth Roberto Bruni Karsten Wolf Eds Web Services And Formal Methods 5th I by Desconocido is a computer science book available to read on EtoBox.
What is Lecture Notes In Computer Science 5387 Programming And Software Engineering Mario Bravetti Gianluigi Zavattaro Auth Roberto Bruni Karsten Wolf Eds Web Services And Formal Methods 5th I about?
<p>This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008.</p> <p>The 13 revised full papers presented together with one invited paper were carefully reviewed and selected from 39 submissions. The papers feature topics such as analysis, test, and verification; choreo
Who reads Lecture Notes In Computer Science 5387 Programming And Software Engineering Mario Bravetti Gianluigi Zavattaro Auth Roberto Bruni Karsten Wolf Eds Web Services And Formal Methods 5th I?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Desconocido
- Publisher
- Springer Berlin
- Published
- 2009
- Language
- EN
- ISBN
- 9783642013645
- Category
- computer science
- Subjects
- Business, Technology, Storage & Retri
- Updated
- 2026-03-25
Other editions & translations
More by Desconocido
Browse all works by Desconocido
Similar books
- 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)
- Business Process Management Workshops: BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008, Revised Papers (Lecture Notes in Business Information Processing, 17) — Hajo A. Reijers, Selma Limam Mansar, Michael Rosemann (auth.), Danilo Ardagna, Massimo Mecella, Jian Yang (2009)
- Formal Methods For Mobile Computing: 5th International School On Formal Methods For The Design Of Computer, Communication, And Software Systems, Sfm-moby 2005, Bertinoro, Italy, April 26-30, 2005 ; Advanced Lectures 5th International School On Formal Methods For The Design Of Computer, Communication, And Software Systems: Sfm-moby 2005 Sfm-moby 2005 — Ugo Montanari, Marco Pistore (auth.), Marco Bernardo, Alessandro Bogliolo (2005)
- Business Process Management: 6th International Conference, Bpm 2008, Milan, Italy, September 2-4, 2008 ; Proceedings Bpm 2008 — Paul Harmon (auth.), Marlon Dumas, Manfred Reichert, Ming-Chien Shan (2008)
- 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, 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)