Tallenna
Abstraction, Refinement and Proof for Probabilistic Systems
Kirjailija:
nidottu, 2010
englanti
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.
- Kirjailija
- Annabelle McIver, Charles Carroll Morgan
- Painos
- Softcover reprint of hardcover 1st ed. 2005
- ISBN
- 9781441923127
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 19.11.2010
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 388
