Suchergebnisse für "Marco Bernardo/Luca Padovani/Gianluigi Zavattaro"

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, Lecture Notes in Computer Science 5569 - Programming and Software Engineering

Marco Bernardo/Luca Padovani/Gianluigi Zavattaro

Springer Verlag GmbH