Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings

This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009, and 29th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2009, held in Lisboa, Portugal, in June 2009....

Full description

Bibliographic Details

Other Authors:	Lee, David (Editor), Lopes, Antonia (Editor), Poetzsch-Heffter, Arnd (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 2009, 2009
Edition:	1st ed. 2009
Series:	Programming and Software Engineering
Subjects:	Computer Communication Networks Compilers (computer Programs) Computer Science Logic And Foundations Of Programming Compilers And Interpreters Software Engineering Programming Techniques Computer Science Computer Programming Computer Networks
Online Access:	https://doi.org/10.1007/978-3-642-02138-1?nosfx=y
Collection:	Springer eBooks 2005- - Collection details see MPG.ReNa