Pastāsti draugiem par šo preci:
Process Algebra: Equational Theories of Communicating Processes - Cambridge Tracts in Theoretical Computer Science Baeten, J. C. M. (Technische Universiteit Eindhoven, The Netherlands)
Process Algebra: Equational Theories of Communicating Processes - Cambridge Tracts in Theoretical Computer Science
Baeten, J. C. M. (Technische Universiteit Eindhoven, The Netherlands)
Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software systems. This book presents a comprehensive overview of the various process algebras in use, and sets the standard for the field. Features include numerous exercises and an accompanying website.
476 pages
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2009. gada 16. decembris |
| ISBN13 | 9780521820493 |
| Izdevēji | Cambridge University Press |
| Lapas | 476 |
| Izmēri | 233 × 159 × 30 mm · 806 g |
| Valoda | Angļu |