Algebraic Specification of Communication Protocols: Cambridge Tracts in Theoretical Computer Science, cartea 36
Editat de S. Mauw, G. J. Veltinken Limba Engleză Paperback – 10 dec 2008
Din seria Cambridge Tracts in Theoretical Computer Science
- 20% Preț: 490.79 lei
- 20% Preț: 486.27 lei
- 20% Preț: 502.38 lei
- 20% Preț: 355.71 lei
- 20% Preț: 377.22 lei
- 20% Preț: 268.19 lei
- 20% Preț: 273.24 lei
- 20% Preț: 487.99 lei
- 20% Preț: 622.53 lei
- 11% Preț: 509.34 lei
- 20% Preț: 378.32 lei
- 20% Preț: 196.37 lei
- 20% Preț: 444.60 lei
- 20% Preț: 321.53 lei
- 20% Preț: 389.91 lei
- 20% Preț: 319.39 lei
- 20% Preț: 322.04 lei
- 20% Preț: 453.03 lei
- 20% Preț: 254.65 lei
- 20% Preț: 313.04 lei
- 20% Preț: 267.54 lei
- 20% Preț: 321.87 lei
- 20% Preț: 379.83 lei
- 20% Preț: 355.60 lei
- 20% Preț: 357.90 lei
- Preț: 372.97 lei
- 20% Preț: 334.54 lei
- 20% Preț: 359.58 lei
- 20% Preț: 277.21 lei
- 20% Preț: 431.42 lei
- 20% Preț: 278.44 lei
- 20% Preț: 300.52 lei
- 20% Preț: 612.71 lei
- 20% Preț: 407.01 lei
- 20% Preț: 387.43 lei
- 20% Preț: 267.04 lei
- 20% Preț: 389.78 lei
Preț: 296.25 lei
Preț vechi: 370.31 lei
-20% Nou
Puncte Express: 444
Preț estimativ în valută:
56.69€ • 58.83$ • 47.39£
56.69€ • 58.83$ • 47.39£
Carte tipărită la comandă
Livrare economică 15-29 martie
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
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.