Data & IT
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle Mciver • Charles Carroll Morgan
Inbunden
2229:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Andra format:
- Pocket/Paperback 2229:-
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.
- Illustratör: 30 illustrations
- Format: Inbunden
- ISBN: 9780387401157
- Språk: Engelska
- Antal sidor: 388
- Utgivningsdatum: 2004-11-01
- Förlag: Springer-Verlag New York Inc.