HOME | BESTSELLERS | NEW RELEASES | PRICE WATCH | FICTION | BIOGRAPHIES | E-BOOKS |
+ PRICE WATCH
* Amazon pricing is not included in price watch
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) Book
The book is a highly focused survey on probabilistic program semantics, edited and rationalized to tell a coherent story with a uniform notation. It is grouped into three themes: Part I is for 'users' of the techniques who will be developing actual programs; Part II gives mathematical foundations intended for those studying exactly how it was done and how to build semantic structures/models in their own work; and Part III describes a very 'hot' research direction, temporal logic and model checking. Topics and features: *introduces readers to very up-to-date research in the mathematics of rigorous development of randomized (probabilistic) algorithms *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 An advanced research survey monograph, integrating three major topic areas: random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models. Essential foundation topic for modern sequential programming methodology.Read More
from£27.77 | RRP: * Excludes Voucher Code Discount Also available Used from £201.87
- 0387401156
- 9780387401157
- Annabelle McIver, Charles Carroll Morgan
- 5 January 2005
- Springer
- Hardcover (Book)
- 388
As an Amazon Associate we earn from qualifying purchases. If you click through any of the links below and make a purchase we may earn a small commission (at no extra cost to you). Click here to learn more.
Would you like your name to appear with the review?
We will post your book review within a day or so as long as it meets our guidelines and terms and conditions. All reviews submitted become the licensed property of www.find-book.co.uk as written in our terms and conditions. None of your personal details will be passed on to any other third party.
All form fields are required.