Tallenna
Web Services and Formal Methods
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013.
- Alaotsikko
- 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
- Toimittaja
- Emilio Tuosto, Chun Ouyang
- Painos
- 2014 ed.
- ISBN
- 9783319082592
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 25.7.2014
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 189
