Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, ... Notes in Computer Science, Band 5569)

International

von: Marco Bernardo · Luca Padovani · Gianluigi Zavattaro

Taschenbuch

ISBN: 978-3-642-01917-3

ISBN-10: 3-642-01917-X

Springer Berlin Heidelberg · 2010