skip to main content
Ngôn ngữ:
Giới hạn tìm kiếm: Giới hạn tìm kiếm: Dạng tài nguyên Hiển thị kết quả với: Hiển thị kết quả với: Chỉ mục

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 Science

ISBN: 9783642298332 ; ISBN: 3642298338 ; E-ISBN: 9783642298349 ; E-ISBN: 3642298346 ; DOI: 10.1007/978-3-642-29834-9

Toàn văn sẵn có

Trích dẫn Trích dẫn bởi

Đang tìm Cơ sở dữ liệu bên ngoài...