Abstraction, Refinement and Proof for Probabilistic Systems - Monographs in Computer Science - Annabelle McIver - Libros - Springer-Verlag New York Inc. - 9781441923127 - 19 de noviembre de 2010
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 Softcover reprint of hardcover 1st ed. 2005 edition

Precio
$ 158,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 19 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     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 19 de noviembre de 2010
ISBN13 9781441923127
Editores Springer-Verlag New York Inc.
Páginas 388
Dimensiones 155 × 235 × 21 mm   ·   562 g
Lengua Inglés  

Mere med samme udgiver

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