Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Description Techniques
. Ed(S): Gotzhein, Reinhard; Bredereke, Jan
€ 363.77
FREE Delivery in Ireland
Description for Formal Description Techniques
Hardback. Combines the proceedings of the IFIP Formal Description Techniques (FDTs) and "Protocol Specification, Testing and Verification" (PSTV) series. This book addresses FDTs applicable to communication protocols and distributed systems, with emphasis on standardised FDTs. Editor(s): Gotzhein, Reinhard; Bredereke, Jan. Series: IFIP Advances in Information and Communication Technology. Num Pages: 528 pages, biography. BIC Classification: PHDS; UTP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 30. Weight in Grams: 923.
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.
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.
Product Details
Format
Hardback
Publication date
1996
Publisher
Chapman and Hall United Kingdom
Number of pages
528
Condition
New
Series
IFIP Advances in Information and Communication Technology
Number of Pages
518
Place of Publication
London, United Kingdom
ISBN
9780412794902
SKU
V9780412794902
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Description Techniques