- 5 Results
Lowest price: € 32.88, highest price: € 215.49, average price: € 152.95
1
Abstraction, Refinement and Proof for Probabilistic Systems - Annabelle McIver|Charles Carroll Morgan
Order
at AbeBooks.de
€ 163.82
Shipment: € 0.001
Order
Provider details
Sponsored link
Annabelle McIver|Charles Carroll Morgan:

Abstraction, Refinement and Proof for Probabilistic Systems - hardcover

2004, ISBN: 0387401156

[EAN: 9780387401157], Neubuch, [PU: Springer New York], COMPUTERS - LANGUAGES PROGRAMMING COMPUTER SCIENCE GENERAL INFORMATIK EDV ALGORITHMS DATA REFINEMENT PROGRAM SEMANTICS RANDOM SEQUE… More...

NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 5 (von 5)]
close (x)
2
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - McIver, Annabelle, Morgan, Charles Carroll
Order
at Amazon.de (Intern. Bücher)
€ 32.88
Shipment: € 3.001
Order
Provider details
Sponsored link

McIver, Annabelle, Morgan, Charles Carroll:

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

2004, ISBN: 9780387401157

Springer, Gebundene Ausgabe, Auflage: 2005, 408 Seiten, Publiziert: 2004-11-19T00:00:01Z, Produktgruppe: Buch, 3.64 kg, Verkaufsrang: 9284, Softwareentwicklung, IT-Ausbildung & -Berufe, C… More...

Shipping costs:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) DISCOUNTED COLLEGE MANUALS
close (x)
3
Abstraction Refinement And Proof For Probabilistic Systems by Annabelle Mciver Hardcover | Indigo Chapters
Order
at Indigo.ca
C$ 305.95
(aprox. € 215.49)
Order
Details & Shipping
Sponsored link
Abstraction Refinement And Proof For Probabilistic Systems by Annabelle Mciver Hardcover | Indigo Chapters - new book

ISBN: 9780387401157

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 resear… More...

new in stock. Shipping costs:zzgl. Versandkosten., plus shipping costs
close (x)
4
Abstraction, Refinement and Proof for Probabilistic Systems - Annabelle McIver Charles Carroll Morgan
Order
at booklooker.de
€ 159.95
Shipment: € 0.001
Order
Provider details
Sponsored link
Annabelle McIver Charles Carroll Morgan:
Abstraction, Refinement and Proof for Probabilistic Systems - First edition

2004, ISBN: 9780387401157

Hardcover

[ED: Gebunden], [PU: Springer New York], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This unique, example-driven monograph integrates … More...

Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
close (x)
5
Abstraction, Refinement and Proof for Probabilistic Systems - Annabelle McIver; Charles Carroll Morgan
Order
at lehmanns.de
€ 192.59
Shipment: € 0.001
Order
Provider details
Sponsored link
Annabelle McIver; Charles Carroll Morgan:
Abstraction, Refinement and Proof for Probabilistic Systems - hardcover

2004, ISBN: 9780387401157

Buch, Hardcover, 2005 ed. [PU: Springer-Verlag New York Inc.], Springer-Verlag New York Inc., 2004

Shipping costs:Lieferbar. (EUR 0.00)
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by find-more-books.com / find-more-books.com do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
Author:
Title:
ISBN:

0387401156


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 (Monographs in Computer Science)


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

Book in our database since 2007-06-03T04:42:20-04:00 (New York)
Detail page last modified on 2023-03-29T10:51:17-04:00 (New York)
ISBN/EAN: 0387401156

ISBN - alternate spelling:
0-387-40115-6, 978-0-387-40115-7
Alternate spelling and related search-keywords:
Book author: morgan charles, caroll, mciver, clifford backman
Book title: abstraction refinement proof probalbilistic system, der computer, annabelle

Information from Publisher

Author: Annabelle McIver
Title: Monographs in Computer Science; Abstraction, Refinement and Proof for Probabilistic Systems
Publisher: Springer; Springer US
388 Pages
Publishing year: 2004-11-19
New York; NY; US
Language: English
164,99 € (DE)

BB; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Algorithms; Data refinement; Program semantics; Random algorithms; Sequential programming; Temporal logic; algorithm; logic; model checking; programming; semantics; Software Engineering; Probability Theory; Programming Techniques; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Formal Languages and Automata Theory; Wahrscheinlichkeitsrechnung und Statistik; Stochastik; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; Compiler und Übersetzer; EA; BC

Probabilistic guarded commands and their refinement logic.- to pGCL: Its logic and its model.- Probabilistic loops: Invariants and variants.- Case studies in termination: Choice coordination, the dining philosophers, and the random walk.- Probabilistic data refinement: The steam boiler.- Semantic structures.- Theory for the demonic model.- The geometry of probabilistic programs.- Proved rules for probabilistic loops.- Infinite state spaces, angelic choice and the transformer hierarchy.- Advanced topics: Quantitative modal logic and game interpretations.- Quantitative temporal logic: An introduction.- The quantitative algebra of qTL.- The quantitative modal ?-calculus, and gambling games.
< to archive...