English
United States
Sign in
Tip from find-more-books.com
Similar books
More/other books that might be very similar to this book
Search tools
Book recommendations
Latest news
Advertising
FILTER
- 0 Results
Lowest price: 32.32 €, highest price: 215.19 €, average price: 126.15 €
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - McIver, Annabelle, Morgan, Charles Carroll
book is out-of-stock
(*)
McIver, Annabelle, Morgan, Charles Carroll:
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - hardcover

2005, ISBN: 9780387401157

ID: 768507972

Springer , 2005-01-05 . Hardcover . New., Springer, 2005-01-05

Used or antiquarian book Biblio.com
Gloria books
Shipping costs: EUR 18.77
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Abstraction, Refinement and Proof for Probabilistic Systems - Annabelle McIver; Charles Carroll Morgan
book is out-of-stock
(*)
Annabelle McIver; Charles Carroll Morgan:
Abstraction, Refinement and Proof for Probabilistic Systems - new book

ISBN: 9780387401157

ID: 9780387401157

Computer Science; Software Engineering/Programming and Operating Systems; Probability Theory and Stochastic Processes; Programming Techniques; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages Algorithms, Data refinement, Program semantics, Random algorithms, Sequential programming, Temporal logic, algorithm, logic, model checking, programming, semantics Books Book, Springer Science+Business Media

New book Springer.com
Shipping costs:zzgl. Versandkosten., plus shipping costs
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Abstraction, Refinement and Proof for Probabilistic Systems - McIver, Annabelle; Morgan, Charles C.
book is out-of-stock
(*)
McIver, Annabelle; Morgan, Charles C.:
Abstraction, Refinement and Proof for Probabilistic Systems - new book

ISBN: 9780387401157

ID: 303042

Provides an integrated coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a focused survey on probabilistic program semantics. This book illustrates, by examples, the typical steps necessary to build a mathematical model of any programming paradigm. Mathematics Mathematics eBook, Springer-Verlag New York Inc

New book Ebooks.com
Shipping costs:zzgl. Versandkosten., plus shipping costs
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - McIver, Annabelle; Morgan, Charles Carroll
book is out-of-stock
(*)
McIver, Annabelle; Morgan, Charles Carroll:
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - hardcover

ISBN: 9780387401157

ID: 975269042

Springer. Hardcover. 0387401156 Brand New Book Ships From Multiple locations.Delivery will take 4-14 days. . New., Springer

Used or antiquarian book Biblio.com
IBestBargains, LLC
Shipping costs: EUR 23.24
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - McIver, Annabelle; Morgan, Charles Carroll
book is out-of-stock
(*)
McIver, Annabelle; Morgan, Charles Carroll:
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - hardcover

ISBN: 9780387401157

ID: 975106926

Springer. Hardcover. 0387401156 Brand New Delivery in 4-14 business days. . New., Springer

Used or antiquarian book Biblio.com
Gait Inc
Shipping costs: EUR 26.81
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.

Details of the book
Abstraction, Refinement and Proof for Probabilistic Systems

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.

Details of the book - Abstraction, Refinement and Proof for Probabilistic Systems


EAN (ISBN-13): 9780387401157
ISBN (ISBN-10): 0387401156
Hardcover
Publishing year: 2005
Publisher: Springer-Verlag GmbH
388 Pages
Weight: 0,750 kg
Language: eng/Englisch

Book in our database since 03.06.2007 10:42:20
Book found last time on 24.10.2017 17:04:36
ISBN/EAN: 0387401156

ISBN - alternate spelling:
0-387-40115-6, 978-0-387-40115-7


< to archive...
Related books