Cantitate/Preț
Produs

Algebraic Specification of Communication Protocols: Cambridge Tracts in Theoretical Computer Science, cartea 36

Editat de S. Mauw, G. J. Veltink
en Limba Engleză Paperback – 10 dec 2008
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.
Citește tot Restrânge

Din seria Cambridge Tracts in Theoretical Computer Science

Preț: 28074 lei

Preț vechi: 35092 lei
-20% Nou

Puncte Express: 421

Preț estimativ în valută:
5375 5823$ 4488£

Carte tipărită la comandă

Livrare economică 12-26 decembrie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9780521088121
ISBN-10: 0521088127
Pagini: 212
Dimensiuni: 150 x 210 x 11 mm
Greutate: 0.35 kg
Editura: Cambridge University Press
Colecția Cambridge University Press
Seria Cambridge Tracts in Theoretical Computer Science

Locul publicării:Cambridge, United Kingdom

Cuprins

1. Introduction; 2. Algebraic specifications in PSF; 3. Simple protocols; 4. Sliding window protocols; 5. The amoeba transaction protocol; 6. Two simple protocols for local area networks; 7. The token ring protocol; The PSF library.

Descriere

In this book the authors use the formal specification language PSF to provide descriptions of several communication protocols.