Formal Description Techniques IX
Theory, application and tools
R 8 089.00
Takealot ยท checked 15 days ago
- Average
- R 8 089.00
- Lowest seen
- R 8 089.00
- Highest seen
- R 8 089.00
- Last change
- R 0.00
- First indexed
- 27 Sep 2026
- Retailer
- Takealot
Description
This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs.
This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs. It features state-of-the-art in theory, application, tools and industrialisation of formal description.