Formal Description Techniques IX
Download or Read eBook Formal Description Techniques IX PDF written by R. Gotzhein and published by Springer. This book was released on 2016-01-09 with total page 513 pages. Available in PDF, EPUB and Kindle.
| Author | : R. Gotzhein |
| Publisher | : Springer |
| Total Pages | : 513 |
| Release | : 2016-01-09 |
| ISBN-10 | : 9780387350790 |
| ISBN-13 | : 0387350799 |
| Rating | : 4/5 (90 Downloads) |
Book Synopsis Formal Description Techniques IX by : R. Gotzhein
Book excerpt: 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.
