10% de desconto
idioma: inglês
Editor: CAMBRIDGE UNIVERSITY PRESS, dezembro de 2009 ‧
128,43€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
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.

Process Algebra: Equational Theories Of Communicating Processes

Equational Theories Of Communicating Processes

de J. C. M. (Technische Universiteit Eindhoven, The Netherlands) Baeten, M. A. (Technische Universiteit Eindhoven, The Netherlands) Reniers e T. (Technische Universiteit Eindhoven, The Netherlands) Basten

Propriedade Descrição
ISBN: 9780521820493
Editor: CAMBRIDGE UNIVERSITY PRESS
Data de Lançamento: dezembro de 2009
Idioma: Inglês
Encadernação: Capa dura
Páginas: 476
Tipo de produto: Livro
Coleção: Cambridge Tracts In Theoretical Computer Science
Classificação Temática: Livros em Inglês > Informática > Outras Aplicações
Livros em Inglês > Outros
EAN: 9780521820493