HOME > Detail View

Detail View

Abstraction, refinement and proof for probabilistic systems

Abstraction, refinement and proof for probabilistic systems

Material type
단행본
Personal Author
McIver, Annabelle. Morgan, Carroll , 1952-
Title Statement
Abstraction, refinement and proof for probabilistic systems / Annabelle McIver, Carroll Morgan.
Publication, Distribution, etc
New York :   Springer ,   c2005.  
Physical Medium
xix, 383 p. : ill. ; 24 cm.
Series Statement
Monographs in computer science
ISBN
0387401156 (alk. paper) 9780387401157
Bibliography, Etc. Note
Includes bibliographical references (p. [345]-355) and indexes.
Subject Added Entry-Topical Term
Engineering mathematics. Probabilities. Systems engineering.
000 01028camuu22003134a 4500
001 000045392241
005 20071022130200
008 040903s2005 nyua b 001 0 eng
010 ▼a 2004057839
020 ▼a 0387401156 (alk. paper)
020 ▼a 9780387401157
035 ▼a (KERIS)REF000010775487
040 ▼a DLC ▼c DLC ▼d YDX ▼d DLC ▼d 211009
042 ▼a pcc
050 0 0 ▼a TA340 ▼b .M43 2005
082 0 0 ▼a 005.1 ▼2 22
090 ▼a 005.1 ▼b M152a
100 1 ▼a McIver, Annabelle.
245 1 0 ▼a Abstraction, refinement and proof for probabilistic systems / ▼c Annabelle McIver, Carroll Morgan.
260 ▼a New York : ▼b Springer , ▼c c2005.
300 ▼a xix, 383 p. : ▼b ill. ; ▼c 24 cm.
440 0 ▼a Monographs in computer science
504 ▼a Includes bibliographical references (p. [345]-355) and indexes.
650 0 ▼a Engineering mathematics.
650 0 ▼a Probabilities.
650 0 ▼a Systems engineering.
700 1 ▼a Morgan, Carroll , ▼d 1952-
945 ▼a KINS

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 005.1 M152a Accession No. 121157038 Availability Available Due Date Make a Reservation Service B M

Contents information

Table of Contents

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.


Information Provided By: : Aladin

New Arrivals Books in Related Fields

Ramamurthy, Bina (2021)