Formal techniques for distributed systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2...

詳細記述

書誌詳細
共著者:	International Conference on Formal Methods for Open Object-Based Distributed Systems Reykjavik, Iceland, SpringerLink (Online service)
その他の著者:	Bruni, Roberto, Dingel, Juergen
フォーマット:	Electronic Resource
言語:	英語
出版事項:	Berlin, Heidelberg Springer c2011.
シリーズ:	LNCS sublibrary. SL 2, Programming and software engineering
主題:	Electronic data processing > Distributed processing > Congresses. Object-oriented programming (Computer science > Congresses. Formal methods (Computer science) > Congresses. Electronic books.
オンライン･アクセス:	Available for University of the Philippines Diliman via SpringerLink. Click here to access