Abstraction, Refinement and Proof for Probabilistic Systems - Monographs in Computer Science - Annabelle McIver - Grāmatas - Springer-Verlag New York Inc. - 9780387401157 - 2004. gada 19. novembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 181,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 7. - 21. aug.
Saņemiet paziņojumus par jauniem Annabelle McIver izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

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

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2004. gada 19. novembris
ISBN13 9780387401157
Izdevēji Springer-Verlag New York Inc.
Lapas 388
Izmēri 155 × 235 × 23 mm   ·   693 g
Valoda Angļu  

Vairāk no Annabelle McIver

Rādīt visu

Vairāk no tā paša izdevēja

Skatīt visus Annabelle McIver ( piem., Hardcover Book un Paperback Book )