Algebraic Specification of Communication Protocols

Algebraic Specification of Communication Protocols

EnglishPaperback / softbackPrint on demand
Cambridge University Press
EAN: 9780521088121
Print on demand
Delivery on Friday, 24. of January 2025
CZK 1,197
Common price CZK 1,330
Discount 10%
pc
Do you want this product today?
Oxford Bookshop Praha Korunní
not available
Librairie Francophone Praha Štěpánská
not available
Oxford Bookshop Ostrava
not available
Oxford Bookshop Olomouc
not available
Oxford Bookshop Plzeň
not available
Oxford Bookshop Brno
not available
Oxford Bookshop Hradec Králové
not available
Oxford Bookshop České Budějovice
not available
Oxford Bookshop Liberec
not available

Detailed information

Modern computer networks now circle the world, but the transmission of information between them depends on the many different protocols that define the behaviour of the sender and receiver. It is clear therefore, that the accurate description of these protocols is important if harmonious communication is to be maintained. In this book the authors use the formal specification language PSF to provide an unambiguous description of several communication protocols of varying levels of complexity, ranging from the alternating bit protocol to the token ring protocol. Beginners, as well as professionals in the field of communication protocols, will benefit from both the methods of specification described and the protocols discussed in this book.
EAN 9780521088121
ISBN 0521088127
Binding Paperback / softback
Publisher Cambridge University Press
Publication date December 11, 2008
Pages 212
Language English
Dimensions 210 x 150 x 11
Country United Kingdom
Illustrations Worked examples or Exercises
Editors Mauw, S.; Veltink G. J.
Series Cambridge Tracts in Theoretical Computer Science