Abstraction, Refinement and Proof for Probabilistic Systems
Autor:
Annabelle McIver, Carroll Morgan
Dostępność:
Dostępna u dostawcy w małych ilościach
Wysyłamy za 11-15 dni
725.10
zł
Illustrates by example the typical steps necessary in computer science to build a mathematical model...
