Process Algebra: Equational Theories of Communicating Processes - Cambridge Tracts in Theoretical Computer Science - Baeten, J. C. M. (Technische Universiteit Eindhoven, The Netherlands) - Libros - Cambridge University Press - 9780521820493 - 16 de diciembre de 2009
En caso de que portada y título no coincidan, el título será el correcto

Process Algebra: Equational Theories of Communicating Processes - Cambridge Tracts in Theoretical Computer Science


Recibe un correo electrónico cuando el artículo esté disponible
¿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

Aún no valorado

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  

Más del mismo editor