Concurrency Verification
Introduction To Compositional And Non-Compositional Methods
idioma: inglês
Editor:
CAMBRIDGE UNIVERSITY PRESS, Janeiro de 2012 ‧
ver detalhes do produto
74,76€
30% DESCONTO
IMEDIATO
U2pjMWJ6WXhiM1pOTTJOTVNuZEVVVlU0WkU5WFkyZFVkWEU1Y0ZSeFJtMDJTMUozVFV0RFJIRm9aMmhRYWpKRFNraHdlSHBGTWtWUlZqbHFOblZuZG5GdVRFb3pSMVF4YUcxaGRUZE5iblUxV0RKVlJXMDNUazFDV1VWNllub3hjVE5ETTNrMFRIVm5aWFp5ZFhSV0sxTnphbkppVURWQ1dYYzBNVzV6V1ZkeFJGZ3hkRXh6U0V0QlEwWTJia1ZOVmtkRkx5dENZamMxU0RKQ1JWZzJSbTFZU2xaUlduUkNSWGhaT1ZoS04ySjBNMWN3VUc4ME5FOXVTbFFyVTFVME5WTlNVSGhhYUV3M2FuaEtlV2RCVUZaaWRIVlpSRlZpUTJka01YSnBWWFJpZEU1TVNFUndPRVpOVFV0VlZIa3hPSFIzVDNNMGJrRm1RVzRyTm05TWQySkhVbU0wTDNKYWRtRXhZbUpUVEdveVRWWm5WMmx2VHpWbmVsRjZiekJ2VVZSdGJ6Z3hVVVJMYkVsMUwyY3dOMmN2VlVSSU1taG1PV2haWmtOcmVVTlJiVTFJSzNWVmIyOHZkVzFRVGpOc09HWmtOSFo2Vldkc2F6UkhXbmRYWldwaWVWWlpTR0pVY1VsME4wcG5kWFkwZW1kVVRtdzJjMU5uYTJad0wyWnVOazg1UVRVMFlXZzJialJ3WkVJM1FYQldNRWN4Tm5kVWQxUTNlR2xRTkhNeVJuaHFZbmcwWlc5TmFqRjVjMjFyUzNkVmF6TXpaMHBCYjFSbWNsVllaMlkxTHpsVlNDOVZTakpaTkRKcVFVZGFlSEEyVEd0MVNtWXhWSFpHY1U0eGFFNDJkM05qWnl0WGNFTlRUMHhRUjFkVVFtZHFiMGhyUmtoelZFTXZOMVpuVlVGeVRXRkhkR3c1T1N0d2RVRnlOR2Q1Y25CYUwwOUtSV28wTkM4emFqRnpSSE5DWm5KTlZUbHFZMjV6V1hWVFNua3JWekZOWlhKUWNVZENhbTlxTlVSYWJFdDNVV3c0YzJwcWRsZENWa3BZU25FMWMyaERlRkZWUTI1blZqVnNaWGhNYTBWdVVWQkdRUzlHWkhoV1NHUk5OVXBOYjBkbFoyRjVNV0pXTlU1bVRHOXBNV2g2ZGt4SGNHZEJPVmw0WW5sVE9IYzlQUT09Ok9EQWRqTXBhN1lSMExvcWF5ODhGV1E9PQ==
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: | 9780521169325 |
| Editor: | CAMBRIDGE UNIVERSITY PRESS |
| Data de Lançamento: | Janeiro de 2012 |
| Idioma: | Inglês |
| Encadernação: | Capa mole |
| 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
>
Outras Aplicações
Livros em Inglês > Outros |
| EAN: | 9780521169325 |
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