Tell your friends about this item:
Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings - Programming and Software Engineering F Wang 2005 edition
Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings - Programming and Software Engineering
F Wang
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.
558 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | September 26, 2005 |
| ISBN13 | 9783540291893 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 558 |
| Dimensions | 155 × 235 × 29 mm · 793 g |
| Language | French |
| Editor | Wang, Farn |
More by F Wang
Show allMere med samme udgiver
See all of F Wang ( e.g. Paperback Book and Hardcover Book )