Process Algebra: Equational Theories of Communicating Processes: Cambridge Tracts in Theoretical Computer Science, cartea 50
Autor J. C. M. Baeten, T. Basten, M. A. Reniersen Limba Engleză Hardback – 15 dec 2009
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
- 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
Preț: 643.04 lei
Preț vechi: 803.81 lei
-20% Nou
Puncte Express: 965
Preț estimativ în valută:
123.06€ • 127.70$ • 102.86£
123.06€ • 127.70$ • 102.86£
Carte tipărită la comandă
Livrare economică 17-31 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780521820493
ISBN-10: 0521820499
Pagini: 476
Ilustrații: 65 b/w illus. 80 tables 345 exercises
Dimensiuni: 158 x 235 x 30 mm
Greutate: 0.86 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: 0521820499
Pagini: 476
Ilustrații: 65 b/w illus. 80 tables 345 exercises
Dimensiuni: 158 x 235 x 30 mm
Greutate: 0.86 kg
Editura: Cambridge University Press
Colecția Cambridge University Press
Seria Cambridge Tracts in Theoretical Computer Science
Locul publicării:Cambridge, United Kingdom
Cuprins
Preface; 1. Process algebra; 2. Preliminaries; 3. Transition systems; 4. Basic process theory; 5. Recursion; 6. Sequential processes; 7. Parallel and communicating processes; 8. Abstraction; 9. Timing; 10. Data and states; 11. Features; 12. Semantics; Bibliography; Index of symbols and notations; Index of authors; Index of subjects.
Notă biografică
Descriere
Presents a unified overview of the various process algebras currently in use and sets the standard for the field.