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