Web Services and Formal Methods
-
- 69,99 US$
-
- 69,99 US$
Lời Giới Thiệu Của Nhà Xuất Bản
This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. The 11 revised full papers presented together with one invited paper were carefully reviewed and selected from 26 submissions. The papers feature topics such as web services; service oriented computing; cloud computing; formal methods; verification specification; testing; and business process management.
THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2011
19 tháng 3
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
199
Trang
NHÀ XUẤT BẢN
Springer Berlin Heidelberg
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
2,7
Mb
Formal Techniques for Networked and Distributed Systems - FORTE 2007
2007
Formal Techniques for Distributed Systems
2011
International Symposium on Fundamentals of Software Engineering
2007
Fundamentals of Software Engineering
2010
Formal Aspects of Component Software
2016
Perspectives of System Informatics
2016