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 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 444 b
183.39 €
358.68  лв
Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

Obrázková angličtina 4 oblečení Petr Kupka / Book Book
common.buy 0.98 € 1.91 лв
Santa Biblia Ntv, Edicion Compacta Letra Grande, Galatas 6:14 / Book Book
common.buy 24.55 € 48.01 лв
RUSSLAND Katharina Füllenbach / Book Paperback
common.buy 16.12 € 31.53 лв
Zločin i kazna, dječji Fjodor Mihajlović Dostojevski / Book Paperback
common.buy 10.54 € 20.61 лв
ESTOY MEJOR SIN TI: vive el amor sin miedo y sin apegos. Laverde / Book Paperback
common.buy 27.70 € 54.18 лв

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 18.14 € 35.47 лв
Healing for the Millions Serge King / Book Paperback
common.buy 15.61 € 30.52 лв
Passion Barbara De Angelis / Book Paperback
common.buy 10.80 € 21.12 лв
Company Directors' Responsibilities to Creditors Andrew Keay / Book Paperback
common.buy 96.91 € 189.54 лв
Wizard of Oz and Who He Was L. F. Baum / Book Paperback
common.buy 19.59 € 38.31 лв
Rickham's Neonatal Surgery Paul D. Losty / Book Hardback
common.buy 236.99 € 463.51 лв
Geoinformatics for Intelligent Transportation Igor Ivan / Book Hardback
common.buy 108.49 € 212.19 лв
Top
Frost Thomas Bernhard / Book Paperback
common.buy 17.98 € 35.17 лв
Urban Theory John Rennie Short / Book Paperback
common.buy 60.06 € 117.46 лв
Who was St Patrick? E.A. Thompson / Book Paperback
common.buy 26.72 € 52.26 лв
State of the Unions Philip M. Dine / Book Paperback
common.buy 19.53 € 38.20 лв

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?