This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006.
| ISBN: | 9783540348931 |
| Publication date: | 9th June 2006 |
| Author: | International Conference on Formal Methods for Open ObjectBased Distributed Systems, Roberto Gorrieri, Heike Wehrheim |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 266 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Network hardware Compilers and interpreters Software Engineering Mathematical theory of computation Operating systems Computer programming / software engineering |
This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006.
Formal Methods for Open Object-Based Distributed Systems features in the following genres: Network hardware, Compilers and interpreters, Software Engineering, Mathematical theory of computation, Operating systems, Computer programming / software engineering
Formal Methods for Open Object-Based Distributed Systems is available in Paperback
Formal Methods for Open Object-Based Distributed Systems was written by International Conference on Formal Methods for Open ObjectBased Distributed Systems, Roberto Gorrieri, Heike Wehrheim and published by Springer an imprint of Springer Berlin Heidelberg
Formal Methods for Open Object-Based Distributed Systems has 266 pages
Yes it is part of Lecture Notes in Computer Science series