Formal Description Techniques IX PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Formal Description Techniques IX PDF full book. Access full book title Formal Description Techniques IX by R. Gotzhein. Download full books in PDF and EPUB format.

Formal Description Techniques IX

Formal Description Techniques IX PDF Author: R. Gotzhein
Publisher: Springer
ISBN: 0387350799
Category : Technology & Engineering
Languages : en
Pages : 513

Book 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. It features state-of-the-art in theory, application, tools and industrialisation of formal description.