Process Algebra: Equational Theories Of Communicating Processes
Equational Theories Of Communicating Processes
idioma: inglês
Editor:
CAMBRIDGE UNIVERSITY PRESS, dezembro de 2009 ‧
ver detalhes do produto
128,43€
10% DESCONTO
CARTÃO
ZDNGTU5FNU1kR2hFYlRscVFXVlhORFpGVWtaR1pXcExkblZ4UkVwSU5DOUNPR2h3VXpCT2RuTkhSVlJaZEVNM1VVMDVTbWx2ZUdzM01VNDVhbW96V2xwSVJIazNhVzgwTjJVekwyTXpUbGxGZGsxTlprdG1kVFUwYm0xMU5IVjBUM1JCWVhKWFUyTTFOa1pUWkRKWk1tMTBTbWxKVXpkbVpsQkxTemxNTkZsd05uZHNNU3RTVGt0SGIzTnpaVUZHUVVaRlRteEhTMFZUTTFkNGJ6QlRUazF6YUhVemVFSlhUbVZUVFdKcWFVdDBWbTVpSzBwWlFWUlJTbE5pUm5oWVZUbHFZMEo0VVhCUGIwdFFUbTF6WVVVd1NWVmlhVlJzTXpWUGEyUjVSekZLTm05NlpWa3pOakp3T1dsR1IyUndTMHBXV2xoRU9IaE5iR3QxWVVOWU0zTnBhblJwZEVWV1RDdERVMjE1VkRBdlNHbDFLMUEyWjBNdldYUXpWVFZITjNKemNEUkxUMHR3WlhWQ2MzcHVPVk5NTTA0MVV5dFpTMnh0T0c1MFdGcEJVa0V2ZFVoblNWRXJUa3h6WWs1NU9HRmhOV0o0ZFVaaksxQXhiMlpaU3pkeGNIRlhSVFIwVkU0d1ZYZG1iMnBPYTBNMVJXeDNVRVpZU2pKS1l6Sm5iVGMwWW04emVUTnVOV1ZqWVZCRE4yeENjV0Z2Y1daWWFWcEpOMVJYVUdkQlkweE5hMG8wY0hCUVdHSnNPVnAyWkVzelZFVldRM2RyVVRFMVkxTjVRM2xuY2pORllXUXdVMlJDZUV4aVVHNUNhbkpyWm1Gd1QyeElia1ZSUjNVNVZsbDBWMlpXU0ZwVVFpODRLMFpuYlVwSVZVOUxNMlZTYzNVeFFtUlRhUzkyU1dSMUsyODVaRGx5Ym1GWlFYUkZUM1pyYWxoUFlWbDJPV3B2WkdzNE1EazJhRWxtV1ZGRmFHeHdUR0V2SzNwV09XaE5jWEJQZVRScFdERjVlalpJVkdvd1ZIZHFPR1pWYWswelpVcHVWa3RYWTI5Sk1XeDNSbGxYWWxoR09VazNZbkJsUlU4MldEWmtPRE5ZV0hORWQyZG9TVkpKVjFCNVN5OVlkalJXWXpaemRWQnVTak5EZEdWdVdWWmpOMWM1WjI5R01FUjBkMVozYUZKM1dHTjBPWEF4WVVodlJIWjNaR3hIZFdwM1lYWjBaVzh3VEVWRVJXbzJWbEJVYzJsWlRpOW5TV0Z1TDBkNWRYRjZPWGM1ZWsxcVoyVmhka2xTYW5SaVUzaGFUM3BZYWpKRFJUaEhkM1E0YjBRelltUXlSMUJNYlhJeFUzWlVZWE5YY0V0RU9VOWxibk5GTTNWUlpscFFMelZEYlRJNGRHeFljVkJIT1RoRGF6UlBiRE0wTDBsQ1IyRlpTRzVzTnpKSFRIbE5Ta2MyTDB4SmJWRXlXbk16UVRGR1RRPT06ZXAvTEZDUkxZZ0ZFTnFxZWFPQU9hUT09
portes grátis
Venda o seu livro
SINOPSE
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.
DETALHES
| 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 |
LIVROS DA MESMA COLEÇÃO
-
10%Initial Algebras And Terminal CoalgebrasCAMBRIDGE UNIVERSITY PRESS188,59€
209,54€portes grátis -
10%Topological Duality For Distributive LatticesCAMBRIDGE UNIVERSITY PRESS82,74€
91,93€portes grátis