0 Mėgstami
0Krepšelis

Abstraction, Refinement and Proof for Probabilistic Systems

254,08 
254,08 
2025-07-31 254.0800 InStock
Nemokamas pristatymas į paštomatus per 13-17 darbo dienų užsakymams nuo 19,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: Knyga minkštu viršeliu
Kalba: Anglų
Žanras: Stochastics

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“