Abstraction, Refinement and Proof for Probabilistic Systems - Monographs in Computer Science - Annabelle McIver - Livros - Springer-Verlag New York Inc. - 9780387401157 - 19 de novembro de 2004
Caso a capa e o título não sejam correspondentes, considere o título como correto

Annabelle McIver
Abstraction, Refinement and Proof for Probabilistic Systems - Monographs in Computer Science 2005 edition

Preço
R$ 992,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 28 de set - 8 de out
Receba avisos sobre novos lançamentos de Annabelle McIver

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Também disponível como:

Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body of research in the area of 'quantitative' program logics.

388 pages, 63 black & white illustrations, 5 black & white tables, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 19 de novembro de 2004
ISBN13 9780387401157
Editoras Springer-Verlag New York Inc.
Páginas 388
Dimensões 155 × 235 × 23 mm   ·   693 g
Idioma Inglês  

Mais por Annabelle McIver

Mostrar tudo

Mais da mesma editora

Ver tudo de Annabelle McIver