Abstraction, Refinement and Proof for Probabilistic Systems
Наличност:
Външен склад
Изпращаме след 10-18 дни
149.75
€
292.89 лв
Illustrates by example the typical steps necessary in computer science to build a mathematical model...
