Tell your friends about this 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
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | October 31, 1998 |
| ISBN13 | 9780412847608 |
| Publishers | Chapman and Hall |
| Pages | 470 |
| Dimensions | 156 × 234 × 26 mm · 857 g |
| Editor | Budkowski, Stan |
| Editor | Cavalli, Ana |
| Editor | Najm, Elie |