Abstraction, Refinement and Proof for Probabilistic Systems - Monographs in Computer Science - Annabelle McIver - Libros - Springer-Verlag New York Inc. - 9780387401157 - 19 de noviembre de 2004
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
$ 184,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 15 de jun. - 2 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

También disponible 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

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 19 de noviembre de 2004
ISBN13 9780387401157
Editores Springer-Verlag New York Inc.
Páginas 388
Dimensiones 155 × 235 × 23 mm   ·   693 g

Mas por Annabelle McIver

Mostrar todo

Mere med samme udgiver

Ver todo de Annabelle McIver ( Ej. Hardcover Book y Paperback Book )