Skip to main content

CURRENTLY SOLD OUT

Abstraction, Refinement and Proof for Probabilistic Systems by Charles Carroll Morgan, Annabelle McIver (Paperback, 2010)

About this product

About this product

Product Information

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.

Product Identifiers

Publisher
Springer-Verlag New York Inc.
ISBN-13
9781441923127
eBay Product ID (ePID)
104118848

Product Key Features

Author
Charles Carroll Morgan, Annabelle Mciver
Publication Name
Abstraction, Refinement and Proof for Probabilistic Systems
Format
Paperback
Language
English
Subject
Computer Science, Mathematics
Publication Year
2010
Type
Textbook
Number of Pages
388 Pages

Dimensions

Item Height
235mm
Item Width
155mm
Item Weight
617g

Additional Product Features

Title_Author
Charles Carroll Morgan, Annabelle Mciver
Series Title
Monographs in Computer Science
Country/Region of Manufacture
United States

Best Selling in Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

Australian Guidebook for Structural Engineers by Lonnie Pack (Paperback, 2019)
No ratings or reviews yet.
AU $84.19 New
---- Used
Eduqas GCSE (9-1) Religious Studies Route B: Catholic Christianity and Judaism by Deirdre Cleary, Andrew Barron, Joy White, Patrick Harrison (Paperback, 2017)
No ratings or reviews yet.
AU $100.97 New
---- Used
The Ethnic Cleansing of Palestine by Ilan Pappe (Paperback, 2007)
5.0 out of 5 stars based on 1 product rating
AU $30.02 New
---- Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

The Australian Native Bee Hive Book: Keeping Stingless Sugarbag OATH Tim Heard
AU $31.98
Trending at AU $35.55
Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by A
AU $19.95
Trending at AU $20.64
Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $122.07
The Indoctrinated Brain: How to Successfully Fend Off the Global Attack on Your
AU $49.95
Trending at AU $57.80
George Hrabovsky Leonard Susskind Classical Mechanics (Paperback)
AU $27.49
Trending at AU $31.57
Havard's Nursing Guide to Drugs
AU $74.99
Trending at AU $76.69

You may also like

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- You may also like