|
Books > Professional & Technical > Energy technology & engineering > Electrical engineering
|
Buy Now
Formal Description Techniques and Protocol Specification, Testing and Verification - FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3-6 November 1998, Paris, France (Paperback, Softcover reprint of the original 1st ed. 1998)
Loot Price: R5,194
Discovery Miles 51 940
|
|
|
Formal Description Techniques and Protocol Specification, Testing and Verification - FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3-6 November 1998, Paris, France (Paperback, Softcover reprint of the original 1st ed. 1998)
Series: IFIP Advances in Information and Communication Technology, 6
Expected to ship within 18 - 22 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
