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

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
语言:English
出版: 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