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

Conte aos seus amigos sobre este item:

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

Name: Abstraction, Refinement and Proof for Probabilistic Systems - Monographs in Computer Science
Price: 847.9 BRL
Availability: OutOfStock
Author: Annabelle McIver

Preço

R$ 847,90

excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 2 - 8 de out

Receba avisos sobre novos lançamentos de Annabelle McIver

O que dizem nossos clientes:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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:

Hardcover Book

2005 edition

(2004) R$ 992,90

Abstraction, Refinement and Proof for Probabilistic Systems - Monographs in Computer Science

Annabelle McIver

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	Inglês