Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems

Show other versions (1)

Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency in sequential algorithms, enable otherwise nonfunctional distribution applications, and allow quantification of risk and safety in general. This makes operational models of...

Full description

Bibliographic Details
Main Authors: McIver, Annabelle (Author), Morgan, Carroll (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:English
Published: New York, NY : Springer New York, 2005.
Series:Monographs in Computer Science,
Subjects:
Computer science.
Software engineering.
Computer programming.
Programming languages (Electronic computers).
Computer logic.
Mathematical logic.
Probabilities.
Computer Science.
Software Engineering/Programming and Operating Systems.
Probability Theory and Stochastic Processes.
Programming Techniques.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Online Access:Full Text via HEAL-Link

Internet

Full Text via HEAL-Link

ΒΚΠ - Πατρα: ALFd

Holdings details from ΒΚΠ - Πατρα: ALFd
Call Number: 330.01 BAU
Copy 1 Available

ΒΚΠ - Πατρα: BSC

Holdings details from ΒΚΠ - Πατρα: BSC
Call Number: 330.01 BAU
Copy 2 Available
Copy 3 Available

Similar Items