Formal Description Techniques IX
Theory, application and tools
Price for Eshop: 7026 Kč (€ 281.0)
VAT 0% included
New
E-book delivered electronically online
E-Book information
Annotation
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.
Ask question
You can ask us about this book and we'll send an answer to your e-mail.