Cover Image

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings /

Corporate Author: SpringerLink (Online service)
Other Authors: Bonsangue, Marcello M. (Editor, http://id.loc.gov/vocabulary/relators/edt), Johnsen, Einar Broch. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edition:1st ed. 2007.
Series:Programming and Software Engineering ; 4468
Subjects:
Programming languages (Electronic computers).
Computer communication systems.
Computer programming.
Software engineering.
Operating systems (Computers).
Computer logic.
Programming Languages, Compilers, Interpreters.
Computer Communication Networks.
Programming Techniques.
Software Engineering.
Operating Systems.
Logics and Meanings of Programs.
Online Access:https://doi.org/10.1007/978-3-540-72952-5

Internet

https://doi.org/10.1007/978-3-540-72952-5

Similar Items