Formal Description Techniques IX: Theory, Application and Tools Reinhard Gotzhein

ISBN: 9780412794902

Published: September 30th 1996

Hardcover

518 pages


Description

Formal Description Techniques IX: Theory, Application and Tools  by  Reinhard Gotzhein

Formal Description Techniques IX: Theory, Application and Tools by Reinhard Gotzhein
September 30th 1996 | Hardcover | PDF, EPUB, FB2, DjVu, AUDIO, mp3, RTF | 518 pages | ISBN: 9780412794902 | 6.45 Mb

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, withMoreThis 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.



Enter the sum





Related Archive Books



Related Books


Comments

Comments for "Formal Description Techniques IX: Theory, Application and Tools":


muszkawaustrii.pl

©2010-2015 | DMCA | Contact us