Abstraction, Refinement and Proof for Probabilistic Systems - Monographs in Computer Science (Hardback)
  • Abstraction, Refinement and Proof for Probabilistic Systems - Monographs in Computer Science (Hardback)
zoom

Abstraction, Refinement and Proof for Probabilistic Systems - Monographs in Computer Science (Hardback)

(author), (author)
£139.99
Hardback 388 Pages / Published: 19/11/2004
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket

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.

Publisher: Springer-Verlag New York Inc.
ISBN: 9780387401157
Number of pages: 388
Weight: 1650 g
Dimensions: 235 x 155 x 23 mm
Edition: 2005 ed.

You may also be interested in...

The Algorithm Design Manual
Added to basket
£55.07
Mixed media product
Agile Product Management with Scrum
Added to basket
Peopleware
Added to basket
£33.49
Paperback
Test Driven Development
Added to basket
The Mythical Man-Month
Added to basket
Clean Code
Added to basket
£36.99
Paperback
User Story Mapping
Added to basket
£27.99
Paperback
Kanban
Added to basket
£33.55
Paperback
Expert Test Manager
Added to basket
£35.00
Paperback
Coaching Agile Teams
Added to basket
The Clean Coder
Added to basket
£33.49
Paperback
Design Patterns
Added to basket
£44.49
Hardback
The Agile Culture
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.