|
Showing 1 - 2 of
2 matches in All Departments
Formal Methods for Protocol Engineering and Distributed Systems
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 an
industrialization of FDTs. Among the important features presented
are: FDT-based system and protocol engineering; FDT application to
distributed systems; Protocol engineeering; Practical experience
and case studies. Formal Methods for Protocol Engineering and
Distributed Systems contains the proceedings of the Joint
International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols and Protocol
Specification, Testing, and Verification, which was sponsored by
the International Federation for Information Processing (IFIP) and
was held in Beijing, China, in October 1999. This volume is
suitable as a secondary text for a graduate level course on
Distributed Systems or Communications, and as a reference for
researchers and industry practitioners.
Formal Methods for Protocol Engineering and Distributed Systems
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 an
industrialization of FDTs. Among the important features presented
are: FDT-based system and protocol engineering; FDT application to
distributed systems; Protocol engineeering; Practical experience
and case studies. Formal Methods for Protocol Engineering and
Distributed Systems contains the proceedings of the Joint
International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols and Protocol
Specification, Testing, and Verification, which was sponsored by
the International Federation for Information Processing (IFIP) and
was held in Beijing, China, in October 1999. This volume is
suitable as a secondary text for a graduate level course on
Distributed Systems or Communications, and as a reference for
researchers and industry practitioners.
|
You may like...
Not in Love
Ali Hazelwood
Paperback
R280
R189
Discovery Miles 1 890
Bad Luck Penny
Amy Heydenrych
Paperback
(1)
R350
R255
Discovery Miles 2 550
Just Once
Karen Kingsbury
Hardcover
R380
R304
Discovery Miles 3 040
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.