Concurrency Verification
Introduction To Compositional And Non-Compositional Methods
idioma: inglês
Editor:
CAMBRIDGE UNIVERSITY PRESS, novembro de 2001 ‧
ver detalhes do produto
212,92€
30% DESCONTO
IMEDIATO
UW5SMlRGUjZVV3gzVWtRNVQyNXBjVmt6VDNCR2VrNW9jVWRSWWtsbE5EQnhSRVYxTTFvck1FTTVWMlJFYkcxdGNqaHpiazh6YzBrNVlYbEljRU5VU0NzMVJUWXJSR0puY1ZKb1RqRnNVVlF6THpCSE56Tk9jWFp2Wkd4Q05FeEVTR0Z0VVdOU2RsRlFhemhWTmtGd0t6ZDJiVVI1T0hwc1RqVXpkRWRCYmt0SVFTdE1jVzQyY0hab1IwRmlWelJqTjNoV1RsazRTemhCV0VsT0x5OVpVSEZHZFhZM1FuUlNhamMyVFVaQk9USXJOMWRIYzFWVFpUWlVaM294VEUxTFptbE9SR05HYVZKdVlYQkhaazV1TVZsQldVcE5WbWg1UWl0TlkyWlZaM2hrV1c5R1dsUXdTMmMwVlc1cFRpdFJOV04wYTBkc1NIZDNjMkkzTVRoNWFtSTVVRTB3VldKSmFYRkpjVEpUU21Ka1lraHRaVVpWUVZOWFpFaHlOR2x2Y1RkdWNEUTFUVkJIUVZkaFlrY3dWMVo0TjFCaWFEZ3dVQ3Q2VVRkNWNVUmpTR3h6YzJwNmRqSmlVbTk1UVVwVEt6RnZiazFYVjNKSVFqTkZVWG8yVWtacVJGRndOVmgwYWxCUlVrcE9MMVZOWjFJNWFrTnFlRU5DVHpCWlpGUk1PV2x1ZVRCMWVFVnNWSGxySzFSVVdEUTVjV0pPVTFOd1pHZDFjRXRDZWtOTGJ6WmlXVEpZV25vMlVXWmxTekJPVXprMlZXdENNWGwwVDBaVWJHOHdkREpOV1UxQlQyWTBOVTlDZGtaSldWRmFhbTlUTlM5alN6RndkRlJDWlZNeFRVSkRWWEZ4WlRSRE1HTnFORGhWTjAwemNVOHpOWGhCZFhnMlNqUlZiaTlaVFhobFFrbFZRMHBoTmtVM1ZHcHJiMnRNY0hKUFVuZFNiMjlYZVZSaVVqaEpVRmhUUm5Cb1NFSnBZMEpJWTJOdFYxVkNRaTkzT0ZsUVVWY3hSalp1YWk5T1VIUlFWVTVYWVhGeFZXSTNaMEZ2ZG14U1QxTmpVVWxYTkRNeE5qZHJkMnhGUkVkWFdWcE5aVXh3YmxnMk5FTXhOME0wSzBwWEwzbHJSR1JLYkcxWVJGTmtUR1p0TWxjelFuTlJXQ3RpVTNOa1NGRTlQUT09Ok9MbUtvQWwwZWJVNkYwSFExaEdab1E9PQ==
portes grátis
Venda o seu livro
SINOPSE
This 2001 book is an introduction to verifying concurrent programs scaling up to a realistic size. It is self-contained and comprehensive, guiding the reader from advanced undergraduate level. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9780521806084 |
| Editor: | CAMBRIDGE UNIVERSITY PRESS |
| Data de Lançamento: | novembro de 2001 |
| Idioma: | Inglês |
| Encadernação: | Capa dura |
| Páginas: | 800 |
| Tipo de produto: | Livro |
| Coleção: | Cambridge Tracts In Theoretical Computer Science |
| Classificação Temática: |
Livros em Inglês
>
Informática
>
Programação
Livros em Inglês > Informática > Iniciação à Informática |
| EAN: | 9780521806084 |
LIVROS DA MESMA COLEÇÃO
-
30%Initial Algebras And Terminal CoalgebrasCAMBRIDGE UNIVERSITY PRESS146,68€
209,54€portes grátis -
30%Topological Duality For Distributive LatticesCAMBRIDGE UNIVERSITY PRESS64,35€
91,93€portes grátis