Abstraction, Refinement and Proof for Probabilistic Systems
| Autor: | Annabelle McIver, Charles Carroll Morgan |
|---|---|
| EAN: | 9780387270067 |
| eBook Format: | |
| Sprache: | Englisch |
| Produktart: | eBook |
| Veröffentlichungsdatum: | 27.10.2005 |
| Kategorie: | |
| Schlagworte: | Algorithms Data refinement Program semantics Random algorithms Sequential programming Temporal logic algorithm logic model checking programming semantics |
149,79 €*
Versandkostenfrei
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .
Presents results of a large and integrated body of research in the area of 'quantitative' program logics.
Verwandte Artikel