
Conte aos seus amigos sobre este item:
Formal Description Techniques and Protocol Specification, Testing and Verification - Ifip Advances in Information and Communication Technology
Stan Budkowski
Formal Description Techniques and Protocol Specification, Testing and Verification - Ifip Advances in Information and Communication Technology
Stan Budkowski
Addresses formal description techniques applicable to distributed systems and communication protocols. This title presents the state of the art in theory, application, tools and industrialization of FDTs. It features FDT-based system and protocol engineering, FDT-application to distributed systems, and protocol engineering.
470 pages, biography
Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
Lançado | 31 de outubro de 1998 |
ISBN13 | 9780412847608 |
Editoras | Chapman and Hall |
Páginas | 470 |
Dimensões | 156 × 234 × 26 mm · 857 g |
Editor | Budkowski, Stan |
Editor | Cavalli, Ana |
Editor | Najm, Elie |
Mais por Stan Budkowski
Ver tudo de Stan Budkowski ( por exemplo Hardcover Book e Paperback Book )