Abstraction, Refinement and Proof for Probabilistic Systems
Autor:
Annabelle McIver, Carroll Morgan
Dostupnosť:
Skladom u dodávateľa v malom množstve
Odosielame za 11-15 dní
162.98
€
Illustrates by example the typical steps necessary in computer science to build a mathematical model...
