Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
Ws-Fm (Workshop);; Hutchison, David (Editor) ; Kanade, Takeo (Editor) ; Kittler, Josef (Editor) ; Kleinberg, Jon M (Editor) ; Mattern, Friedemann (Editor) ; Mitchell, John C (Editor) ; Naor, Moni (Editor) ; Nierstrasz, Oscar (Editor) ; Pandu Rangan, C (Editor) ; Steffen, Bernhard (Editor) ; Sudan, Madhu (Editor) ; Terzopoulos, Demetri (Editor) ; Tygar, Doug (Editor) ; Vardi, Moshe Y (Editor) ; Weikum, Gerhard (Editor) ; Carbone, Marco (Editor) ; Petit, Jean-Marc (Editor)
Lecture Notes in Computer ScienceISBN: 9783642298332 ; ISBN: 3642298338 ; E-ISBN: 9783642298349 ; E-ISBN: 3642298346 ; DOI: 10.1007/978-3-642-29834-9
Toàn văn sẵn có