Web Services and Formal Methods
6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Unique visibility, state-of-the-art survey, fast-track conference proceedings
Autor*in
Cosimo Laneve
Themen in »Web Services and Formal Methods«
Web Services calculus cloud computing control design formal methods graph syntax modeling pervasive computing pi-calculus semantics session types technology verification web applications
Stimmen zu »Web Services and Formal Methods«
Details
ISBN: 9783642144585
Verlag: Springer Berlin
Erscheinung: 23.08.2010