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)
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de Baeten, J. C. M. (Technische Universiteit Eindhoven, The Netherlands)
Añadir a tu lista de deseos de iMusic
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 · 806 g |
| Lengua | Inglés |