This book presents papers from the lectures of leading researchers given at the Ninth International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, which was devoted to formal methods for web services.
| ISBN-13: | 9783642019173 |
| ISBN-10: | 364201917X |
| Publisher: | Springer Science & Business Media |
| Publication date: | 2009-05-12 |
| Edition description: | 2009 |
| Pages: | 341 |
| Product dimensions: | Height: 9.25 Inches, Length: 6.1 Inches, Weight: 1.1684499886 Pounds, Width: 0.8 Inches |
| Author: | Marco Bernardo, Luca Padovani, Gianluigi Zavattaro |
| Language: | en |
| Binding: | Paperback |
Discover more books in the same category
