Applications of Process Algebra: Cambridge Tracts in Theoretical Computer Science, cartea 17
Editat de J. C. M. Baetenen Limba Engleză Paperback – 16 feb 2005
Din seria Cambridge Tracts in Theoretical Computer Science
- 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
- 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
- 20% Preț: 296.25 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
- 20% Preț: 643.04 lei
Preț: 622.53 lei
Preț vechi: 778.17 lei
-20% Nou
Puncte Express: 934
Preț estimativ în valută:
119.13€ • 124.22$ • 99.01£
119.13€ • 124.22$ • 99.01£
Carte tipărită la comandă
Livrare economică 21 martie-04 aprilie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780521607506
ISBN-10: 0521607507
Pagini: 332
Ilustrații: 50 b/w illus. 30 tables
Dimensiuni: 188 x 245 x 17 mm
Greutate: 0.59 kg
Ediția:Pbk.
Editura: Cambridge University Press
Colecția Cambridge University Press
Seria Cambridge Tracts in Theoretical Computer Science
Locul publicării:Cambridge, United Kingdom
ISBN-10: 0521607507
Pagini: 332
Ilustrații: 50 b/w illus. 30 tables
Dimensiuni: 188 x 245 x 17 mm
Greutate: 0.59 kg
Ediția:Pbk.
Editura: Cambridge University Press
Colecția Cambridge University Press
Seria Cambridge Tracts in Theoretical Computer Science
Locul publicării:Cambridge, United Kingdom
Cuprins
1. An introduction to process algebra J. A. Bergstra and J. W. Klop; 2. Two simple protocols F. W. Vaandrager; 3. Proving mutual exclusion with process algebra E. R. Nieuwland; 4. Process algebra as a tool for the specification and verification of CIM-architectures S. Maauw; 5. A process creation mechanism in process algebra J. A. Bergstra; 6. Correctness proofs for systolic algorithms: palindromes and sorting L. Kossen and W. P. Weijland; 7. Verification of an algorithm for log-time sorting by square comparison J. C. Mulder and W. P. Weijland; 8. On the Amoeba protocol J. C. Mulder; 9. Process algebra semantics of Popl F. W. Vaandrager; 10. Some observations of redundancy in a context F. W. Vaandrager; 11. A modular approach to protocol verification using process algebra C. P. J. Koymans and J. C. Mulder.
Recenzii
'A useful and interesting addition to a computer science library.' International Mathematical News
Descriere
This book gives applications of the theory of process algebra. or Algebra of Comunicating Processes (ACS).