Please type in at least 2 characters
Please type in at least 2 characters
Browse Categories
Bags & Travel Accessories
Electronics & Mobiles
Computer & Peripherals
Smart TV & Accessories
School Supplies
Toys & Kids Learning
Office Supplies
Arts & Crafts
Arabic Books
English Books
Audio & eBooks
Gaming
Digital Cards
Musical Instruments
Item 1 of 1
Item 1 of 1
Springer
Formal Description Techniques and Protocol Specification
Testing and Verification : FORTE XI/PSTV XVIII98 IFIP TC6 WG6.1 Joint International Confere
SR 1,226
Inclusive of VAT
SR74Per Month/24 months
This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
SR1,226
Incl. VAT
Secure Shopping
Convenient Returns
Genuine & Warranted
Fast Delivery
Or
About this Product
Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools and industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT-application to distributed systems; Protocol engineering; Practical experience and case studies.
Formal Description Techniques and Protocol Specification, Testing and Verification comprises the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification, sponsored by the International Federation for Information Processing, held in November 1998, Paris, France.
Formal Description Techniques and Protocol Specification, Testing and Verification is suitable as a secondary text for a graduate-level course on Distributed Systems or Communications, and as a reference for researchers and practitioners in industry.
Formal Description Techniques and Protocol Specification, Testing and Verification comprises the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification, sponsored by the International Federation for Information Processing, held in November 1998, Paris, France.
Formal Description Techniques and Protocol Specification, Testing and Verification is suitable as a secondary text for a graduate-level course on Distributed Systems or Communications, and as a reference for researchers and practitioners in industry.
Report an issue with this product.
