- 5 Ergebnisse
Kleinster Preis: € 32,88, größter Preis: € 215,49, Mittelwert: € 152,95
1
Abstraction, Refinement and Proof for Probabilistic Systems - Annabelle McIver|Charles Carroll Morgan
Bestellen
bei AbeBooks.de
€ 163,82
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Annabelle McIver|Charles Carroll Morgan:

Abstraction, Refinement and Proof for Probabilistic Systems - gebunden oder broschiert

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… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 5 (von 5)]
zuklappen (X)
2
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - McIver, Annabelle, Morgan, Charles Carroll
Bestellen
bei Amazon.de (Intern. Bücher)
€ 32,88
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link

McIver, Annabelle, Morgan, Charles Carroll:

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - gebunden oder broschiert

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… Mehr…

Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) DISCOUNTED COLLEGE MANUALS
zuklappen (X)
3
Abstraction Refinement And Proof For Probabilistic Systems by Annabelle Mciver Hardcover | Indigo Chapters
Bestellen
bei Indigo.ca
C$ 305,95
(ca. € 215,49)
Bestellen
Details und Versand
gesponserter Link
Abstraction Refinement And Proof For Probabilistic Systems by Annabelle Mciver Hardcover | Indigo Chapters - neues Buch

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… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
4
Abstraction, Refinement and Proof for Probabilistic Systems - Annabelle McIver Charles Carroll Morgan
Bestellen
bei booklooker.de
€ 159,95
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Annabelle McIver Charles Carroll Morgan:
Abstraction, Refinement and Proof for Probabilistic Systems - Erstausgabe

2004, ISBN: 9780387401157

Gebundene Ausgabe

[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 … Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
zuklappen (X)
5
Abstraction, Refinement and Proof for Probabilistic Systems - Annabelle McIver; Charles Carroll Morgan
Bestellen
bei lehmanns.de
€ 192,59
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Annabelle McIver; Charles Carroll Morgan:
Abstraction, Refinement and Proof for Probabilistic Systems - gebunden oder broschiert

2004, ISBN: 9780387401157

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

Versandkosten:Lieferbar. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
Autor:
Titel:
ISBN-Nummer:

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.

Detailangaben zum Buch - Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)


EAN (ISBN-13): 9780387401157
ISBN (ISBN-10): 0387401156
Gebundene Ausgabe
Erscheinungsjahr: 2005
Herausgeber: Springer
388 Seiten
Gewicht: 0,750 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-06-03T10:42:20+02:00 (Zurich)
Detailseite zuletzt geändert am 2023-03-29T16:51:17+02:00 (Zurich)
ISBN/EAN: 0387401156

ISBN - alternative Schreibweisen:
0-387-40115-6, 978-0-387-40115-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: morgan charles, caroll, mciver, clifford backman
Titel des Buches: abstraction refinement proof probalbilistic system, der computer, annabelle

Daten vom Verlag:

Autor/in: Annabelle McIver
Titel: Monographs in Computer Science; Abstraction, Refinement and Proof for Probabilistic Systems
Verlag: Springer; Springer US
388 Seiten
Erscheinungsjahr: 2004-11-19
New York; NY; US
Sprache: Englisch
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.
< zum Archiv...