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 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 437 b
64 937 Ft
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 357 Ft
Santa Biblia Ntv, Edicion Compacta Letra Grande, Galatas 6:14 / Book Book
common.buy 8 956 Ft
RUSSLAND Katharina Füllenbach / Book Paperback
common.buy 6 010 Ft
Zločin i kazna, dječji Fjodor Mihajlović Dostojevski / Book Paperback
common.buy 3 988 Ft
ESTOY MEJOR SIN TI: vive el amor sin miedo y sin apegos. Laverde / Book Paperback
common.buy 9 580 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, 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 6 544 Ft
Healing for the Millions Serge King / Book Paperback
common.buy 6 057 Ft
Passion Barbara De Angelis / Book Paperback
common.buy 4 241 Ft
Company Directors' Responsibilities to Creditors Andrew Keay / Book Paperback
common.buy 35 776 Ft
Wizard of Oz and Who He Was L. F. Baum / Book Paperback
common.buy 6 901 Ft
Rickham's Neonatal Surgery Paul D. Losty / Book Hardback
common.buy 85 809 Ft
Geoinformatics for Intelligent Transportation Igor Ivan / Book Hardback
common.buy 40 284 Ft
Frost Thomas Bernhard / Book Paperback
common.buy 7 065 Ft
Urban Theory John Rennie Short / Book Paperback
common.buy 22 983 Ft
Who was St Patrick? E.A. Thompson / Book Paperback
common.buy 9 627 Ft
State of the Unions Philip M. Dine / Book Paperback
common.buy 7 689 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?