Abstraction, Refinement and Proof for Probabilistic Systems
Fr. 187.90
inkl. MwStBeschreibung
Details
Format
Kopierschutz
Nein
Family Sharing
Nein
Text-to-Speech
Ja
Erscheinungsdatum
27.10.2005
Verlag
Springer UsProbabilistic 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 how they work, and logics for reasoning about them, extremely important.
Abstraction, Refinement and Proof for Probabilistic Systems presents a rigorous approach to modeling and reasoning about computer systems that incorporate probability. Its foundations lie in traditional Boolean sequential-program logic-but its extension to numeric rather than merely true-or-false judgments takes it much further, into areas such as randomized algorithms, fault tolerance, and, in distributed systems, almost-certain symmetry breaking. The presentation begins with the familiar "assertional" style of program development and continues with increasing specialization: Part I treats probabilistic program logic, including many examples and case studies; Part II sets out the detailed semantics; and Part III applies the approach to advanced material on temporal calculi and two-player games.
Topics and features:
* Presents a general semantics for both probability and demonic nondeterminism, including abstraction and data refinement
* Introduces readers to the latest mathematical research in rigorous formalization of randomized (probabilistic) algorithms * Illustrates by example the steps necessary for building a conceptual model of probabilistic programming "paradigm"
* Considers results of a large and integrated research exercise (10 years and continuing) in the leading-edge area of "quantitative" program logics
* Includes helpful chapter-ending summaries, a comprehensive index, and an appendix that explores alternative approaches
This accessible, focused monograph,written by international authorities on probabilistic programming, develops an essential foundation topic for modern programming and systems development. Researchers, computer scientists, and advanced undergraduates and graduates studying programming or probabilistic systems will find the work an authoritative and essential resource text.
Weitere Bände von Monographs in Computer Science
-
Zur Artikeldetailseite von Active Rules in Database Systems des Autors Norman W. Paton
Norman W. Paton
Active Rules in Database SystemseBook
Fr. 187.90
-
Zur Artikeldetailseite von Software Configuration Management Using Vesta des Autors Clark Allan Heydon
Clark Allan Heydon
Software Configuration Management Using VestaeBook
Fr. 125.90
-
Zur Artikeldetailseite von Hypercomputation des Autors Apostolos Syropoulos
Apostolos Syropoulos
HypercomputationeBook
Fr. 100.90
-
Zur Artikeldetailseite von Numerical Geometry of Non-Rigid Shapes des Autors Alexander M. Bronstein
Alexander M. Bronstein
Numerical Geometry of Non-Rigid ShapeseBook
Fr. 62.90
-
Zur Artikeldetailseite von Geometric Fundamentals of Robotics des Autors J. M. Selig
J. M. Selig
Geometric Fundamentals of RoboticseBook
Fr. 93.90
-
Zur Artikeldetailseite von Parsing Techniques des Autors Dick Grune
Dick Grune
Parsing TechniqueseBook
Fr. 275.90
-
Zur Artikeldetailseite von Adapting Proofs-as-Programs des Autors Iman Poernomo
Iman Poernomo
Adapting Proofs-as-ProgramseBook
Fr. 187.90
-
Zur Artikeldetailseite von Reverse Engineering of Object Oriented Code des Autors Paolo Tonella
Paolo Tonella
Reverse Engineering of Object Oriented CodeeBook
Fr. 125.90
-
Zur Artikeldetailseite von Super-Recursive Algorithms des Autors Mark Burgin
- 32%Mark Burgin
Super-Recursive AlgorithmseBook
Fr. 125.90
Fr. 187.90* -
Zur Artikeldetailseite von Computer Systems des Autors Andrew James Herbert
Andrew James Herbert
Computer SystemseBook
Fr. 62.90
-
Zur Artikeldetailseite von Evolutionary Synthesis of Pattern Recognition Systems des Autors Bir Bhanu
Bir Bhanu
Evolutionary Synthesis of Pattern Recognition SystemseBook
Fr. 187.90
-
Zur Artikeldetailseite von Abstraction, Refinement and Proof for Probabilistic Systems des Autors Annabelle McIver
Annabelle McIver
Abstraction, Refinement and Proof for Probabilistic SystemseBook
Fr. 187.90
Unsere Kundinnen und Kunden meinen
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kund*innen durch Ihre Meinung
Erste Bewertung verfassen