Formal Techniques for Computer Systems and Business Processes

European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings

Theoretical Computer Science and General Issues

Bravetti, Mario (EDT) Kloul, Leila (EDT) Zavattaro, Gianluigi (EDT)

出版社：Springer Verlag 出版年月：2005年 11月
装丁：PAP 言語：ENG

税込価格：

11,787円

海外在庫あり 通常２～５週間で出荷

Web Services and Formal Methods

Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings

Programming and Software Engineering

Bravetti, Mario (EDT) Nunez, Manuel (EDT) Zavattaro, Gianluigi (EDT)

出版社：Springer-Verlag New York Inc 出版年月：2006年 09月
装丁：PAP 言語：ENG

税込価格：

11,787円

海外在庫あり 通常２～５週間で出荷

Service-Oriented and Cloud Computing

First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012, Proceedings

Lecture Notes in Computer Science / Programming and Software Engineering .7592

Herausgegeben von De Paoli, Flavio Pimentel, Ernesto Zavattaro, Gianluigi

出版社：Springer, Berlin 出版年月：2012年 00月
装丁：PAP 言語：ENG 版次：2012. 2012. XI

税込価格：

10,846円

海外在庫あり 通常２～５週間で出荷