adicionar à lista de desejos
Abstraction, Refinement And Proof For Probabilistic Systems eBook
idioma: inglês
Editor:
SPRINGER NEW YORK, outubro de 2005 ‧
ver detalhes do produto
171,59€
10% DESCONTO
CARTÃO
ZFc5aVduWjBkV2RHYldkVUwzZEdSMXAxYkhaSU1tdDZkVmd6UlVSYVZFc3lkbE41V1VKQlRXRkRjVUZZWVZCVmMydDNkbVJaV204eFVXNXlOMUpYYlVwRU16RlJTMEUyWTFsWVJrZHBWRGR1TVhsSVdra3lRbmRUY0VWa2NHSm1jalpFVWs1M01qSmFTUzl5UlhaWFlVUmpRM0IxYUZkelJYSmhZWGM1WkZCMVJ5OHZXREpIUXpoU056TXpWRVJhVUdOd1FsRXpZMEZhVmxSS2RUVnlRa042ZVUwcllTOHpPWEYwUmpVeEszTkZhR2xLTWxseWNrdzBkVU5qY1ZCVk5HUXlkVkpPWVVveWNtSjZZbGxpVEdjMmVDOVZPSFJpVkdONmNGWnBaVGx4U1hSV09GbGhXazk0VGxkaGFtNVJWRFJqZFZrMFVFVjJkR0ZLWjBsWFVHNW9jamRvUVdOSVZWTmhabEZTUjJGMWRIVjNTbVZPUTFORE9ISkhaMHd4YmtaaFVuTnhWME5QUjFneGFYWkhORTl2ZEZVclQzcFdLelF3UkRRemFGWkZjblY2YWlzNWVpdDZSMlpyVmt4T04wWkdNRlZFUnpkRFpHWk5TMWhDTjA5TE4yVXZabVUyWTFGR2EwbFpOMko2Wm5kdlp6WnphRXhVYWtkUlpYZ3ZObXhCV2xock9EUnRla3hWV25WV2NYUjZXbTFIYzNodlpsRmtTazB4TlhwcVNuSjZUbG80TTJFell6QjVaV1ZqZWpWcGNrcGFlVVV5YW5KMGFHbDZkMHN3TkUxMVpUSlhVMWxwUkVST1pYTnhXR2hFZDNWcVVuRlFhVTV6Vm14NGEydFdPR3hLWTFWMGVERllTVzVCWWsxV05HVjNRbFp0VDNKdFZVTmFVSE5GTVROa2EwNUdVVFJpWmtaalRqUmpVMncwUmpWV05HZ3paMHRUWkdwaFdUbGxRM05qVTFadWVHazNNbVIwY1VJNVpWQlphRE13UWpSRWVGaFpVVlZZTW5Sa1ZISlpWbWRNVFRCTE9WQnJMMmxOV2toaVUyRklVamwyUjJ0aVRHWmhWSEZxTDBwTmFqSmpZVzgyY1hwdk5tdEtRak0wTDJSRlEzWTRNa3A0YTBWeVlYaHVaMnBNY25wcVVUaGxVakpXY0RoMkswVTVOazlOYUhSU1lWVk9WVGRLVkZJdlJXaHllazFHZWxoS1NpOWtRa0pYVUcwM2NUQkJVMnhYTUZkRmFGaGhlVVZSY2s5SmMzaHhjRlZuV0VsdWNuTkdibkl6WkhNMWExcDNUM0pZVXk5b2VVWXhUekozUFE9PTpRbXZOQTEwN29zVE5HcGhsZ0IvYmNBPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
Covers random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a focused survey on probabilistic program semantics. This book illustrates the typical steps useful in computer science to build a mathematical model of various programming paradigms.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9780387270067 |
| Editor: | SPRINGER NEW YORK |
| Data de Lançamento: | outubro de 2005 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Monographs In Computer Science |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9780387270067 |
LIVROS DA MESMA COLEÇÃO
-
Complex AnalysiseBook10%Springer Berlin Heidelberg23,84€ 10% CARTÃO
-
Algorithmic Language And Program DevelopmenteBook10%Springer Berlin Heidelberg59,61€ 10% CARTÃO
-
The Science Of Quantitative Information Flow10%Springer International Publishing AG74,34€ 10% CARTÃOportes grátis