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

Abstraction, Refinement and Proof for Probabilistic Systems - Monographs in Computer Science Softcover reprint of hardcover 1st ed. 2005 edition

Annabelle McIver

Preço
DKK 1.019,20
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 27 - 31 de out

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

Também disponível como:

Abstraction, Refinement and Proof for Probabilistic Systems - Monographs in Computer Science Softcover reprint of hardcover 1st ed. 2005 edition

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     Paperback Book   (Livro de capa flexível e brochura)
Lançado 19 de novembro de 2010
ISBN13 9781441923127
Editoras Springer-Verlag New York Inc.
Páginas 388
Dimensões 155 × 235 × 21 mm   ·   562 g
Idioma English  
Mostrar tudo

Mais por Annabelle McIver

Ver tudo de Annabelle McIver ( por exemplo Hardcover Book e Paperback Book )