Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Abstraction, Refinement and Proof for Probabilistic Systems

-15% su kodu: ENG15
215,97 
Įprasta kaina: 254,08 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
215,97 
Įprasta kaina: 254,08 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
2025-02-28 254.0800 InStock
Nemokamas pristatymas į paštomatus per 11-15 darbo dienų užsakymams nuo 20,00 

Knygos aprašymas

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.

Informacija

Autorius: Charles Carroll Morgan, Annabelle McIver,
Serija: Monographs in Computer Science
Leidėjas: Springer US
Išleidimo metai: 2010
Knygos puslapių skaičius: 404
ISBN-10: 1441923128
ISBN-13: 9781441923127
Formatas: 235 x 155 x 22 mm. Knyga minkštu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Abstraction, Refinement and Proof for Probabilistic Systems“

Būtina įvertinti prekę

Goodreads reviews for „Abstraction, Refinement and Proof for Probabilistic Systems“