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, Island, June 6-9, 2011, Proceedings / edited by Roberto Bruni, Juergen Dingel.

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...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Bruni, Roberto (Editor), Dingel, Juergen (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
Edition:	1st ed. 2011.
Series:	Programming and Software Engineering ; 6722 Springer eBook Collection.
Subjects:	Computer communication systems. Computer programming. Software engineering. Programming languages (Electronic computers). Computer logic. Mathematical logic. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.