Pastāsti draugiem par šo preci:
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2005. gada 26. septembris |
| ISBN13 | 9783540291893 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 558 |
| Izmēri | 155 × 235 × 29 mm · 793 g |
| Valoda | Franču |
| Redaktors | Wang, Farn |
Vairāk no F Wang
Rādīt visuVairāk no tā paša izdevēja
Skatīt visus F Wang ( piem., Paperback Book un Hardcover Book )