Treffer: Formal Methods for Web Services
Titel:
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 / edited by Marco Bernardo, Luca Padovani, Gianluigi Zavattaro
Verantwortlich:
Ausgabe:
1st edition 2009
Veröffentlicht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (VII, 341 Seiten)
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 5569
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Methods for Web Services. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - ISBN 9783642019173
Schlagworte:
ISBN:
9783642019180 ; 3642019188 ; 9783642019173 (Sekundärausgabe) ; 9783642019197 (Sekundärausgabe)
DOI:
10.1007/978-3-642-01918-0