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 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Abstraction, Refinement and Proof for Probabilistic Systems

Language EnglishEnglish
Book Hardback
Book Abstraction, Refinement and Proof for Probabilistic Systems Annabelle McIver
Libristo code: 05247820
Publishers Springer-Verlag New York Inc., November 2004
Illustrates by example the typical steps necessary in computer science to build a mathematical model...
? points 425 b
175.19 €
Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

Top
Obrázková angličtina 4 oblečení Petr Kupka / Book Book
common.buy 0.90 €
Santa Biblia Ntv, Edicion Compacta Letra Grande, Galatas 6:14 / Book Book
common.buy 22.79 €
RUSSLAND Katharina Füllenbach / Book Paperback
common.buy 15.22 €
Zločin i kazna, dječji Fjodor Mihajlović Dostojevski / Book Paperback
common.buy 9.87 €
ESTOY MEJOR SIN TI: vive el amor sin miedo y sin apegos. Laverde / Book Paperback
common.buy 26.52 €

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, Carroll Morgan
Language English
Binding Book - Hardback
Date of issue 2004
Number of pages 388
EAN 9780387401157
ISBN 0387401156
Libristo code 05247820
Publishers Springer-Verlag New York Inc.
Weight 1650
Dimensions 155 x 235 x 25

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

A Fiery Friendship Lisa Fiedler / Book Hardback
common.buy 16.63 €
Healing for the Millions Serge King / Book Paperback
common.buy 15.52 €
Passion Barbara De Angelis / Book Paperback
common.buy 10.78 €
Company Directors' Responsibilities to Creditors Andrew Keay / Book Paperback
common.buy 92.58 €
Wizard of Oz and Who He Was L. F. Baum / Book Paperback
common.buy 18.45 €
Rickham's Neonatal Surgery Paul D. Losty / Book Hardback
common.buy 221.59 €
Geoinformatics for Intelligent Transportation Igor Ivan / Book Hardback
common.buy 102.67 €
Frost Thomas Bernhard / Book Paperback
common.buy 17.94 €
Urban Theory John Rennie Short / Book Paperback
common.buy 63.64 €
Who was St Patrick? E.A. Thompson / Book Paperback
common.buy 26.62 €
State of the Unions Philip M. Dine / Book Paperback
common.buy 19.46 €

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?