- 5 resultaten
laagste prijs: € 32,88, hoogste prijs: € 215,49, gemiddelde prijs: € 152,95
1
Abstraction, Refinement and Proof for Probabilistic Systems - Annabelle McIver|Charles Carroll Morgan
bestellen
bij AbeBooks.de
€ 163,82
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Annabelle McIver|Charles Carroll Morgan:

Abstraction, Refinement and Proof for Probabilistic Systems - gebonden uitgave, pocketboek

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… Meer...

NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 5 (von 5)]
dichtslaan (X)
2
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - McIver, Annabelle, Morgan, Charles Carroll
bestellen
bij Amazon.de (Intern. Bücher)
€ 32,88
verzending: € 3,001
bestellen
Details aangeboden
Gesponsorde link

McIver, Annabelle, Morgan, Charles Carroll:

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - gebonden uitgave, pocketboek

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… Meer...

Verzendingskosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) DISCOUNTED COLLEGE MANUALS
dichtslaan (X)
3
Abstraction Refinement And Proof For Probabilistic Systems by Annabelle Mciver Hardcover | Indigo Chapters
bestellen
bij Indigo.ca
C$ 305,95
(ongeveer € 215,49)
bestellen
Details en verzending
Gesponsorde link
Abstraction Refinement And Proof For Probabilistic Systems by Annabelle Mciver Hardcover | Indigo Chapters - nieuw boek

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… Meer...

new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
dichtslaan (X)
4
Abstraction, Refinement and Proof for Probabilistic Systems - Annabelle McIver Charles Carroll Morgan
bestellen
bij booklooker.de
€ 159,95
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Annabelle McIver Charles Carroll Morgan:
Abstraction, Refinement and Proof for Probabilistic Systems - eerste uitgave

2004, ISBN: 9780387401157

gebonden uitgave

[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 … Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
dichtslaan (X)
5
Abstraction, Refinement and Proof for Probabilistic Systems - Annabelle McIver; Charles Carroll Morgan
bestellen
bij lehmanns.de
€ 192,59
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Annabelle McIver; Charles Carroll Morgan:
Abstraction, Refinement and Proof for Probabilistic Systems - gebonden uitgave, pocketboek

2004, ISBN: 9780387401157

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

Verzendingskosten:Lieferbar. (EUR 0.00)
dichtslaan (X)
1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
auteur:
Titel:
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.

Gedetalleerde informatie over het boek. - Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)


EAN (ISBN-13): 9780387401157
ISBN (ISBN-10): 0387401156
Gebonden uitgave
Verschijningsjaar: 2005
Uitgever: Springer
388 Bladzijden
Gewicht: 0,750 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2007-06-03T10:42:20+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-03-29T16:51:17+02:00 (Amsterdam)
ISBN/EAN: 0387401156

ISBN - alternatieve schrijfwijzen:
0-387-40115-6, 978-0-387-40115-7
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: morgan charles, caroll, mciver, clifford backman
Titel van het boek: abstraction refinement proof probalbilistic system, der computer, annabelle

Gegevens van de uitgever

Auteur: Annabelle McIver
Titel: Monographs in Computer Science; Abstraction, Refinement and Proof for Probabilistic Systems
Uitgeverij: Springer; Springer US
388 Bladzijden
Verschijningsjaar: 2004-11-19
New York; NY; US
Taal: Engels
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.
< naar Archief...