Tell your friends about this item:
Formal Description Techniques and Protocol Specification, Testing and Verification - Ifip Advances in Information and Communication Technology
Stan Budkowski
Price
¥ 34,602
excl. VAT
Ordered from remote warehouse
Expected delivery Aug 5 - 18
Our customers say:
Add to your iMusic wish list
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 |
Show all
More by Stan Budkowski
![Cover for Stan Budkowski · Formal Description Techniques and Protocol Specification, Testing and Verification: Forte Xi/pstv Xviii'98 Ifip Tc6 Wg6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (Forte Xi) and Pr (Paperback Book) [Softcover Reprint of the Original 1st Ed. 1998 edition] (2013)](https://imusic.b-cdn.net/images/item/original/625/9781475752625.jpg?stan-budkowski-2013-formal-description-techniques-and-protocol-specification-testing-and-verification-forte-xi-pstv-xviii-98-ifip-tc6-wg6-1-joint-international-conference-on-formal-description-techniques-for-distributed-systems-and-communication-protocols-&class=scaled&v=1575546332)
See all of Stan Budkowski ( e.g. Hardcover Book and Paperback Book )