Formal Methods for Web Services
9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Edición de la obra Formal Methods for Web Services
| Autor | Marco Bernardo, Luca Padovani, Gianluigi Zavattaro |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2009 |
| Idioma | inglés |
| Páginas | 341 |
| ISBN-13 | 9783642019180 |
| Número de Cutter | B523f |