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
VmtOVlZrRkpaVzF6Y1hncmNXZzNUa2d3WTJkdFFtOVVUbXBGZHpNck9WZG1kM2hvUzJKS2RFWTRVREprZUU5VVdXRlVNMWM1ZDIwMWExYzBlalEwUmtaWFYydzBlRmRDZEZsb1VGRlpkbkIxZFV3M1FVVmxkMlJGYTFsNEswNHhjRXBYWm1WR05WcFFUM0JqU2tZclkzUndRMjlGWlN0dGVsQlNjRTByZDBaNk1WcFhSV3BvVVhRNFEwZDVVWFJWVnpkUFJHcERVSEJxUzFwVGJVRmFTa3d3UTFsamVtUTBUa1J4ZEVkcllYaGhhalZQUlhFeU9WSm1OMU5VYzNWNmEyWlVWVWhRUmtKUmNrZDRUMnNyTWt0cU5uRnJiSGsyZVZkR1dYWkZXSFpMUmtsTlYxbGFWMGxYTTJkSVFrRktiV1JYVFdrdk1FUm5XRmxRUkRSTGFuaGhiSGxQVUZCaGF6VnJUV1JCTURCM2RtbEZZakJJYm1GcVYwcG9XVGxIYlUxd1Z5OHZPREV6UlV4dWJWVm9UbnBFVG10VFFsQndLelZ1WldoMmNGa3JjVEl3ZFRaak4ydzBTMDlFUWtsc2NHZGxRVlJUVjBOTFRrZGlZU3RxTUV4MGRTOXNZeXRWWW1GYVZITkZPRVJKYTNGTFYwODVWbW94VjBKNVVscDVhRzFPTm5Ka1JHcHlMMUYxUlZkVFJWcHNRMnhNZVdwVlYwRnZaMDlhVVZOTFIwaGhlR3hrZERsMVNEVkxOblJSU21KMFdVeFVlamxEYXpsd2RHdHFlbFF4V0VKSlZWSkZTaTl1UmtVdlpWbEdhVkV4VGpVMlRsTkhRbGRWVm1Jdk5TdE9aSEJ4VTNwcldrdEpUMEkyVFROeWQxUklhSFI1U1c1d2FGWktXWGxWVGxGMVpEWjJhWEp4U2pObVlXRktaM2hLWm1oek1YZ3hNVzV4TUM4dlprbElTamxGTjB4b1NtY3JLM056Vm1KSU5HWjZNMVpoUTNoSU9YVm9aMU1yYW1OaFdHMWxOV0k1VjJKUVJscEVUa0ZIWWpWNmEySmlkMHBQU25jclF6TXdRM2xZZVVweU1rUmhUVXh5TlVOU05FNUJlRk5GWWtWUk1tazFORGM1ZG1sUlpFZFRZMGxRUjJaVFNsUm9aRGRQUTNWR1EzcEtUMlpTTnpONFJUTkZkMlJHT1ZkdFNWaE5lakJaTVZWeGEwWXJOV05OTm1sRlZqSnZaMnRYZWtOSlowNUhlbWhGY2xkR1JHeGFlakppV0hwWFIzWmFUbmswUzNOQ1RIWXliemxXT1ZrMVdIQlVTVmRKUFE9PTp3Z3R2ZWRGVDMxREVtOHR5MG5OR21RPT0=
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 |
| 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
-
eBook10%Complex AnalysisSpringer Berlin Heidelberg23,84€ 10% CARTÃO
-
eBook10%Algorithmic Language And Program DevelopmentSpringer Berlin Heidelberg59,61€ 10% CARTÃO
-
10%The Science Of Quantitative Information FlowSpringer International Publishing AG74,34€ 10% CARTÃOportes grátis