Recomienda este artículo a tus amigos:
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
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 16 de diciembre de 2009 |
| ISBN13 | 9780521820493 |
| Editores | Cambridge University Press |
| Páginas | 476 |
| Dimensiones | 233 × 159 × 30 mm · 837 g |
| Lengua | Inglés |