- 5 Résultats
prix le plus bas: € 32,88, prix le plus élevé: € 215,49, prix moyen: € 152,95
1
Abstraction, Refinement and Proof for Probabilistic Systems - Annabelle McIver|Charles Carroll Morgan
Commander
sur AbeBooks.de
€ 163,82
Envoi: € 0,001
CommanderLien sponsorisé
Annabelle McIver|Charles Carroll Morgan:

Abstraction, Refinement and Proof for Probabilistic Systems - edition reliée, livre de poche

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

NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 5 (von 5)]
2
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - McIver, Annabelle, Morgan, Charles Carroll
Commander
sur Amazon.de (Intern. Bücher)
€ 32,88
Envoi: € 3,001
CommanderLien sponsorisé

McIver, Annabelle, Morgan, Charles Carroll:

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science) - edition reliée, livre de poche

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

Frais d'envoiAuf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) DISCOUNTED COLLEGE MANUALS
3
Abstraction Refinement And Proof For Probabilistic Systems by Annabelle Mciver Hardcover | Indigo Chapters
Commander
sur Indigo.ca
C$ 305,95
(environ € 215,49)
CommanderLien sponsorisé
Abstraction Refinement And Proof For Probabilistic Systems by Annabelle Mciver Hardcover | Indigo Chapters - nouveau livre

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

new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise
4
Abstraction, Refinement and Proof for Probabilistic Systems - Annabelle McIver Charles Carroll Morgan
Commander
sur booklooker.de
€ 159,95
Envoi: € 0,001
CommanderLien sponsorisé
Annabelle McIver Charles Carroll Morgan:
Abstraction, Refinement and Proof for Probabilistic Systems - Première édition

2004, ISBN: 9780387401157

Edition reliée

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

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
5
Abstraction, Refinement and Proof for Probabilistic Systems - Annabelle McIver; Charles Carroll Morgan
Commander
sur lehmanns.de
€ 192,59
Envoi: € 0,001
CommanderLien sponsorisé
Annabelle McIver; Charles Carroll Morgan:
Abstraction, Refinement and Proof for Probabilistic Systems - edition reliée, livre de poche

2004, ISBN: 9780387401157

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

Frais d'envoiLieferbar. (EUR 0.00)

1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

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.

Informations détaillées sur le livre - Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)


EAN (ISBN-13): 9780387401157
ISBN (ISBN-10): 0387401156
Version reliée
Date de parution: 2005
Editeur: Springer
388 Pages
Poids: 0,750 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2007-06-03T10:42:20+02:00 (Paris)
Page de détail modifiée en dernier sur 2023-03-29T16:51:17+02:00 (Paris)
ISBN/EAN: 0387401156

ISBN - Autres types d'écriture:
0-387-40115-6, 978-0-387-40115-7
Autres types d'écriture et termes associés:
Auteur du livre: morgan charles, caroll, mciver, clifford backman
Titre du livre: abstraction refinement proof probalbilistic system, der computer, annabelle


Données de l'éditeur

Auteur: Annabelle McIver
Titre: Monographs in Computer Science; Abstraction, Refinement and Proof for Probabilistic Systems
Editeur: Springer; Springer US
388 Pages
Date de parution: 2004-11-19
New York; NY; US
Langue: Anglais
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.

< pour archiver...