Abstraction, Refinement and Proof for Probabilistic Systems Image close
Abstraction, Refinement and Proof for Probabilistic Systems on Hardback by Annabelle McIver
Abstraction, Refinement and Proof for Probabilistic Systems on Hardback by Annabelle McIver
Show Hide Adult Content
Abstraction, Refinement and Proof for Probabilistic Systems close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer programming / software development  
Software Engineering

Abstraction, Refinement and Proof for Probabilistic Systems

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$427.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $107.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Monographs in Computer Science

See all products in this series

Programming in the 1990s by Edward Cohen
$136.99
Programming in the 1990s
by Edward Cohen ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Software Configuration Management Using Vesta by Clark Allan Heydon Save $15
$264.99
$280.95
Software Configuration Management Using Vesta
by Clark Allan Heydon ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Fairness by Nissim Francez Save $60
$136.99
$197.95
Fairness
by Nissim Francez ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Specification and Development of Interactive Systems by Manfred Broy
$138.99
Specification and Development of Interactive Systems
by Manfred Broy ~ Paperback / softback
Available - Usually ships in 3-4 weeks
On a Method of Multiprogramming on Hardback by W.H.J. Feijen
$426.99
On a Method of Multiprogramming
by W.H.J. Feijen ~ Hardback
Available - Usually ships in 3-4 weeks
Reverse Engineering of Object Oriented Code by Paolo Tonella Save $54
$263.99
$318.95
Reverse Engineering of Object Oriented Code
by Paolo Tonella ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Programming with Sets by E Dubinsky
$270.99
$273.95
Programming with Sets
by E Dubinsky ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Programming Methodology on Hardback
$273.99
Programming Methodology
Hardback
Available - Usually ships in 3-4 weeks
Relational Database Technology by Suad Alagic
$266.99
Relational Database Technology
by Suad Alagic ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Specification and Transformation of Programs on Hardback by Helmut A. Partsch
$148.99
Specification and Transformation of Programs
by Helmut A. Partsch ~ Hardback
Available - Usually ships in 3-4 weeks
A Discipline of Multiprogramming by Jayadev Misra
$139.99
A Discipline of Multiprogramming
by Jayadev Misra ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Object-Oriented Database Programming by Suad Alagic Save $135
$137.99
$273.95
Object-Oriented Database Programming
by Suad Alagic ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Programming Methodology
$360.99
Programming Methodology
Paperback / softback
Available - Usually ships in 3-4 weeks
Specification and Development of Interactive Systems on Hardback by Manfred Broy
$142.99
Specification and Development of Interactive Systems
by Manfred Broy ~ Hardback
Available - Usually ships in 3-4 weeks
A Discipline of Multiprogramming on Hardback by Jayadev Misra Save $14
$144.99
$159.95
A Discipline of Multiprogramming
by Jayadev Misra ~ Hardback
Available - Usually ships in 3-4 weeks
The Synthesizer Generator Reference Manual by Thomas W Reps
$263.99
The Synthesizer Generator Reference Manual
by Thomas W Reps ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

The book is a focused survey on probabilistic program semantics, conceived to tell a coherent story with a uniform notation. It is grouped into three themes: Part I is for 'users' of the techniques who will be developing actual programs; Part II gives mathematical foundations intended for those studying exactly how it was done and how to build semantic structures/models in their own work; and Part III describes a very 'hot' research direction, temporal logic and model checking. Topics and features: - introduces readers to very up-to-date research in the mathematics of rigorous development of randomized (probabilistic) algorithms- 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 logicsAn advanced research survey monograph, integrating three major topic areas: random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models. Essential foundation topic for modern sequential programming methodology.
Release date Australia
November 19th, 2004
Pages
388
Audience
  • Professional & Vocational
Illustrations
63 Illustrations, black and white; XX, 388 p. 63 illus.
Dimensions
156x234x23
ISBN-13
9780387401157
Product ID
2434806

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Annabelle McIver

See all books by this author

Abstraction, Refinement and Proof for Probabilistic Systems by Annabelle McIver
$407.99
Abstraction, Refinement and Proof for Probabilistic Systems
by Annabelle McIver ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Science of Quantitative Information Flow on Hardback by Mario S. Alvim
$160.99
The Science of Quantitative Information Flow
by Mario S. Alvim ~ Hardback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer programming / software development >
Software Engineering