Constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus in June 2007. This title presents 17 revised full papers together with 2 invited papers that were reviewed and selected from 45 submissions.
| ISBN: | 9783540729198 |
| Publication date: | 25th May 2007 |
| Author: | Marcello M Bonsangue, Einar Broch Johnsen |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 317 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Compilers and interpreters Software Engineering Mathematical theory of computation Network hardware Operating systems Computer programming / software engineering |
Constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus in June 2007. This title presents 17 revised full papers together with 2 invited papers that were reviewed and selected from 45 submissions.
Formal Methods for Open Object-Based Distributed Systems Programming and Software Engineering features in the following genres: Compilers and interpreters, Software Engineering, Mathematical theory of computation, Network hardware, Operating systems, Computer programming / software engineering
Formal Methods for Open Object-Based Distributed Systems Programming and Software Engineering is available in Paperback
Formal Methods for Open Object-Based Distributed Systems Programming and Software Engineering was written by Marcello M Bonsangue, Einar Broch Johnsen and published by Springer an imprint of Springer Berlin Heidelberg
Formal Methods for Open Object-Based Distributed Systems Programming and Software Engineering has 317 pages
Yes it is part of Lecture Notes in Computer Science series