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
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

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 374 b
154.29 €
301.76  лв
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 31.53 € 61.66 лв
Libération et guérisons multidimensionnelles - A la découverte de l'Homme nouveau Kaci / Book Paperback
common.buy 24.86 € 48.62 лв
The Head & the Load William Kentridge / Book Hardback
common.buy 73.08 € 142.94 лв
Ninnoli Gerolamo Rovetta / Book Paperback
common.buy 12.40 € 24.25 лв
Kwestionariusz wrazliwosci przetwarzania sensorycznego u dzieci BARY&#X00142 / Book Paperback
common.buy 7.18 € 14.04 лв
Der Shakespeare-Dieb Gary Blackwood / Book Paperback
common.buy 8.73 € 17.07 лв
Arménie – Rother Michael Wellhausen / Book Paperback
common.buy 12.71 € 24.86 лв

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 162.61 € 318.04 лв
Coming soon
Super Minds Level 5 Student's Book with Digital Pack Special Edition Herbert Puchta / Book Paperback
common.buy 9.35 € 18.29 лв
What Winners Won't Tell You: Lessons from a Legendary Defender Jenkins / Book Hardback
common.buy 34.32 € 67.12 лв
Toxic Travel Guide Frankie McNamara / Book Hardback
common.buy 17.98 € 35.17 лв
It Starts with YOU! LASHAI BEN SALMI / Book Paperback
common.buy 16.95 € 33.15 лв
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.83 € 29.00 лв
Pathways to Bliss Joseph Campbell / Book Paperback
common.buy 35.45 € 69.34 лв
Reliability of Maintained Systems Subjected to Wear Failure Mechanisms - Theory and Applications Bayle Bayle / Book Hardback
common.buy 175.33 € 342.91 лв
iQuit Vincent Yanez / Book Paperback
common.buy 11.21 € 21.93 лв
Ave Maria: selection from a chirographic opus in 300 languages Z W Wolkowski / Book Paperback
common.buy 23.82 € 46.59 лв
Comparing Super-Diversity Fran Meissner / Book Paperback
common.buy 75.15 € 146.98 лв
Nanohybrid Catalyst based on Carbon Nanotube Rasel Das / Book Hardback
common.buy 108.49 € 212.19 лв
Love in a Cold Climate Nancy Mitford / Book Paperback
common.buy 12.81 € 25.06 лв
Vitamix Cookbook Jodi Berg / Book Hardback
common.buy 26.82 € 52.46 лв
Transmedia Archaeology Carlos Scolari / Book Hardback
common.buy 69.21 € 135.36 лв
Mandoa, Mandoa! Winifred Holtby / Book Paperback
common.buy 29.72 € 58.12 лв
New Culture of Desire Melinda Davis / Book Paperback
common.buy 16.33 € 31.94 лв
Designing Gestural Interfaces Dan Saffer / Book Paperback
common.buy 51.06 € 99.87 лв
Introduction to Protein Structure Prediction Huzefa Rangwala / Book Hardback
common.buy 164.26 € 321.27 лв
Earthcare David Clowney / Book Hardback
common.buy 177.96 € 348.06 лв
Encountering the Past in Nature Timo Myllyntaus / Book Paperback
common.buy 26.46 € 51.75 лв
Integration in an Expanding European Union: Reasse ssing the Fundamentals J. H. H. Weiler / Book Paperback
common.buy 23.82 € 46.59 лв
Archaeology of Ancient Mexico and Central America David L. Webster / Book Hardback
common.buy 423.80 € 828.87 лв

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?