Process Algebra: Equational Theories of Communicating Processes
Inbunden, Engelska, 2009
Av The Netherlands) Baeten, J. C. M. (Technische Universiteit Eindhoven, The Netherlands) Basten, T. (Technische Universiteit Eindhoven, The Netherlands) Reniers, M. A. (Technische Universiteit Eindhoven, J. C. M. Baeten
1 599 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum2009-12-16
- Mått233 x 159 x 30 mm
- Vikt806 g
- FormatInbunden
- SpråkEngelska
- SerieCambridge Tracts in Theoretical Computer Science
- Antal sidor476
- FörlagCambridge University Press
- ISBN9780521820493