Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Abstraction, Refinement and Proof for Probabilistic Systems

Language EnglishEnglish
Book Paperback
Book Abstraction, Refinement and Proof for Probabilistic Systems Annabelle McIver
Libristo code: 05256930
Publishers Springer-Verlag New York Inc., February 2010
Illustrates by example the typical steps necessary in computer science to build a mathematical model...
? points 373 b
154.13 €
In stock at our supplier Shipping in 10-18 days

Up to 30 days for returns

Customers also purchased

Guess What! Level 5 Activity Book with Home Booklet and Online Interactive Activities Spanish Edition Lynne Marie Robertson / Book Paperback
common.buy 29.59 €
Libération et guérisons multidimensionnelles - A la découverte de l'Homme nouveau Kaci / Book Paperback
common.buy 24.03 €
The Head & the Load William Kentridge / Book Hardback
common.buy 70.19 €
Ninnoli Gerolamo Rovetta / Book Paperback
common.buy 11.71 €
Kwestionariusz wrazliwosci przetwarzania sensorycznego u dzieci BARY&#X00142 / Book Paperback
common.buy 6.76 €
Der Shakespeare-Dieb Gary Blackwood / Book Paperback
common.buy 8.27 €
Arménie – Rother Michael Wellhausen / Book Paperback
common.buy 16.56 €
prince. Il «principe» in francese (XVI-XVII secolo) Niccoló Machiavelli / Book Book
common.buy 53.63 €

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.§

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Abstraction, Refinement and Proof for Probabilistic Systems
Author Annabelle McIver, Charles Carroll Morgan
Language English
Binding Book - Paperback
Date of issue 2010
Number of pages 388
EAN 9781441923127
ISBN 1441923128
Libristo code 05256930
Publishers Springer-Verlag New York Inc.
Weight 617
Dimensions 155 x 235 x 235

Categories

Mathematics & Science > Mathematics > Applied mathematics > Stochastics
Mathematics & Science > Mathematics > Probability & statistics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Macromolecular Crystallography Maria Armenia Carrondo / Book Hardback
common.buy 154.13 €
Super Minds Level 5 Student's Book with Digital Pack Special Edition Herbert Puchta / Book Paperback
common.buy 8.98 €
What Winners Won't Tell You: Lessons from a Legendary Defender Jenkins / Book Hardback
common.buy 32.41 €
Toxic Travel Guide Frankie McNamara / Book Hardback
common.buy 17.97 €
It Starts with YOU! LASHAI BEN SALMI / Book Paperback
common.buy 16.96 €
How to Make Huge Cash with Section 8 Rentals the Landlord Handbook How to Be a Great Landlord & How Small Investors Can Get Started in Commercial Prop Ernie Braveboy / Book Paperback
common.buy 14.84 €
Pathways to Bliss Joseph Campbell / Book Paperback
common.buy 35.44 €
Reliability of Maintained Systems Subjected to Wear Failure Mechanisms - Theory and Applications Bayle Bayle / Book Hardback
common.buy 166.96 €
iQuit Vincent Yanez / Book Paperback
common.buy 11.20 €
Ave Maria: selection from a chirographic opus in 300 languages Z W Wolkowski / Book Paperback
common.buy 23.83 €
Comparing Super-Diversity Fran Meissner / Book Paperback
common.buy 72.01 €
Nanohybrid Catalyst based on Carbon Nanotube Rasel Das / Book Hardback
common.buy 102.82 €
If Pressed Andrew McEwan / Book Paperback
common.buy 16.66 €
Love in a Cold Climate Nancy Mitford / Book Paperback
common.buy 13.32 €
Vitamix Cookbook Jodi Berg / Book Hardback
common.buy 27.06 €
Transmedia Archaeology Carlos Scolari / Book Hardback
common.buy 69.18 €
Mandoa, Mandoa! Winifred Holtby / Book Paperback
common.buy 26.05 €
New Culture of Desire Melinda Davis / Book Paperback
common.buy 16.25 €
Designing Gestural Interfaces Dan Saffer / Book Paperback
common.buy 51.00 €
Introduction to Protein Structure Prediction Huzefa Rangwala / Book Hardback
common.buy 163.83 €
Earthcare David Clowney / Book Hardback
common.buy 177.77 €
Encountering the Past in Nature Timo Myllyntaus / Book Paperback
common.buy 26.45 €
Integration in an Expanding European Union: Reasse ssing the Fundamentals J. H. H. Weiler / Book Paperback
common.buy 27.16 €
Archaeology of Ancient Mexico and Central America David L. Webster / Book Hardback
common.buy 368.58 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?