Cover Image

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings /

This book constitutes the refereed proceedings of the 15th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2013, and the 33rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2013, held in...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Beyer, Dirk. (Editor, http://id.loc.gov/vocabulary/relators/edt), Boreale, Michele. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edition:1st ed. 2013.
Series:Programming and Software Engineering ; 7892
Subjects:
Computer logic.
Software engineering.
Computers.
Mathematical logic.
Logics and Meanings of Programs.
Software Engineering.
Computation by Abstract Devices.
Mathematical Logic and Formal Languages.
Online Access:https://doi.org/10.1007/978-3-642-38592-6

Internet

https://doi.org/10.1007/978-3-642-38592-6

Similar Items