Constitutes the proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2005, held in Taiwan, in October 2005. These papers cover various aspects of formal methods for distributed systems and communication protocols.
| ISBN: | 9783540291893 |
| Publication date: | 26th September 2005 |
| Author: | Farn Wang |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 558 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Network hardware Software Engineering Mathematical theory of computation Operating systems |
Constitutes the proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2005, held in Taiwan, in October 2005. These papers cover various aspects of formal methods for distributed systems and communication protocols.
Formal Techniques for Networked and Distributed Systems - FORTE 2005 Programming and Software Engineering features in the following genres: Network hardware, Software Engineering, Mathematical theory of computation, Operating systems
Formal Techniques for Networked and Distributed Systems - FORTE 2005 Programming and Software Engineering is available in Paperback
Formal Techniques for Networked and Distributed Systems - FORTE 2005 Programming and Software Engineering was written by Farn Wang and published by Springer an imprint of Springer Berlin Heidelberg
Formal Techniques for Networked and Distributed Systems - FORTE 2005 Programming and Software Engineering has 558 pages
Yes it is part of Lecture Notes in Computer Science series