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 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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
54 510 Ft
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 11 207 Ft
Libération et guérisons multidimensionnelles - A la découverte de l'Homme nouveau Kaci / Book Paperback
common.buy 8 523 Ft
The Head & the Load William Kentridge / Book Hardback
common.buy 24 839 Ft
Ninnoli Gerolamo Rovetta / Book Paperback
common.buy 4 524 Ft
Kwestionariusz wrazliwosci przetwarzania sensorycznego u dzieci BARY&#X00142 / Book Paperback
common.buy 2 393 Ft
Der Shakespeare-Dieb Gary Blackwood / Book Paperback
common.buy 3 180 Ft
Arménie – Rother Michael Wellhausen / Book Paperback
common.buy 5 868 Ft
prince. Il «principe» in francese (XVI-XVII secolo) Niccoló Machiavelli / Book Book
common.buy 18 943 Ft

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 59 222 Ft
Super Minds Level 5 Student's Book with Digital Pack Special Edition Herbert Puchta / Book Paperback
common.buy 3 401 Ft
What Winners Won't Tell You: Lessons from a Legendary Defender Jenkins / Book Hardback
common.buy 11 469 Ft
Toxic Travel Guide Frankie McNamara / Book Hardback
common.buy 6 991 Ft
It Starts with YOU! LASHAI BEN SALMI / Book Paperback
common.buy 6 480 Ft
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 5 661 Ft
Pathways to Bliss Joseph Campbell / Book Paperback
common.buy 13 499 Ft
Reliability of Maintained Systems Subjected to Wear Failure Mechanisms - Theory and Applications Bayle Bayle / Book Hardback
common.buy 60 801 Ft
iQuit Vincent Yanez / Book Paperback
common.buy 4 289 Ft
Ave Maria: selection from a chirographic opus in 300 languages Z W Wolkowski / Book Paperback
common.buy 9 108 Ft
Comparing Super-Diversity Fran Meissner / Book Paperback
common.buy 27 264 Ft
Nanohybrid Catalyst based on Carbon Nanotube Rasel Das / Book Hardback
common.buy 39 520 Ft
If Pressed Andrew McEwan / Book Paperback
common.buy 5 560 Ft
Love in a Cold Climate Nancy Mitford / Book Paperback
common.buy 4 975 Ft
Vitamix Cookbook Jodi Berg / Book Hardback
common.buy 9 941 Ft
Transmedia Archaeology Carlos Scolari / Book Hardback
common.buy 24 461 Ft
Mandoa, Mandoa! Winifred Holtby / Book Paperback
common.buy 9 209 Ft
New Culture of Desire Melinda Davis / Book Paperback
common.buy 6 291 Ft
Designing Gestural Interfaces Dan Saffer / Book Paperback
common.buy 19 366 Ft
Introduction to Protein Structure Prediction Huzefa Rangwala / Book Hardback
common.buy 62 435 Ft
Earthcare David Clowney / Book Hardback
common.buy 64 055 Ft
Encountering the Past in Nature Timo Myllyntaus / Book Paperback
common.buy 9 969 Ft
Integration in an Expanding European Union: Reasse ssing the Fundamentals J. H. H. Weiler / Book Paperback
common.buy 9 605 Ft
Archaeology of Ancient Mexico and Central America David L. Webster / Book Hardback
common.buy 136 850 Ft

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?