Formal Methods for Protocol Engineering and Distributed Systems (INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING Volume 28) Review

Average Reviews:

(More customer reviews)I am intresting in Protocol Engineering . I want to buy this
book but I don't know how to pay in china

Click Here to see more reviews about: Formal Methods for Protocol Engineering and Distributed Systems (INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING Volume 28)

Formal Methods for Protocol Engineering and DistributedSystems addresses formal description techniques (FDTs) applicableto distributed systems and communication protocols. It aims to presentthe state of the art in theory, application, tools anindustrialization of FDTs. Among the important features presented are: + FDT-based system and protocol engineering; + FDT application to distributed systems;+ Protocolengineeering;+ Practical experience and case studies. Formal Methods for Protocol Engineering and Distributed Systemscontains the proceedings of the Joint International Conference onFormal Description Techniques for Distributed Systems andCommunication Protocols and Protocol Specification, Testing, andVerification, which was sponsored by the International Federation forInformation Processing (IFIP) and was held in Beijing, China, inOctober 1999. This volume is suitable as a secondary text for a graduate levelcourse on Distributed Systems or Communications, and as a referencefor researchers and industry practitioners.

Buy cheap Formal Methods for Protocol Engineering and Distributed Systems (INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING Volume 28) now.