Formal Methods for Open Object-Based Distributed Systems Programming and Software Engineering by Martin Steffen, Gianluigi Zavattaro
| ISBN: | 9783540261810 |
| Publication date: | 3rd June 2005 |
| Author: | Martin Steffen, Gianluigi Zavattaro |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 326 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 |
Formal Methods for Open Object-Based Distributed Systems Programming and Software Engineering by Martin Steffen, Gianluigi Zavattaro
Formal Methods for Open Object-Based Distributed Systems Programming and Software Engineering 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 Programming and Software Engineering is available in Paperback
Formal Methods for Open Object-Based Distributed Systems Programming and Software Engineering was written by Martin Steffen, Gianluigi Zavattaro and published by Springer an imprint of Springer Berlin Heidelberg
Formal Methods for Open Object-Based Distributed Systems Programming and Software Engineering has 326 pages
Yes it is part of Lecture Notes in Computer Science series