Abstraction, Refinement and Proof for Probabilistic Systems
Szerző:
Annabelle McIver, Charles Carroll Morgan
Elérhetőség:
Beszállítói készleten
Küldés 14-21 napon belül
53 746
Ft
Illustrates by example the typical steps necessary in computer science to build a mathematical model...
