Formal Description Techniques IX

Know about the book -

Formal Description Techniques IX is written by R. Gotzhein and published by Springer. It's available with International Standard Book Number or ISBN identification 0387350799 (ISBN 10) and 9780387350790 (ISBN 13).

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.