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