2010, ISBN: 9781441923127
Hardcover
[ED: Softcover], [PU: Springer / Springer New York / Springer, Berlin], Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase… More...
booklooker.de buecher.de GmbH & Co. KG Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
ISBN: 9781441923127
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency in sequential algorithms, enable otherwise nonfunctional dis… More...
Springer.com Nr. 978-1-4419-2312-7. Shipping costs:Worldwide free shipping, , DE. (EUR 0.00) Details... |
2010, ISBN: 9781441923127
Hardcover
[ED: Softcover], [PU: Springer / Springer New York / Springer, Berlin], Illustrates by example the typical steps necessary in computer science to build a mathematical model of any program… More...
booklooker.de buecher.de GmbH & Co. KG Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
2010, ISBN: 1441923128
Hardcover
Softcover reprint of hardcover 1st ed. 2005 Kartoniert / Broschiert Wahrscheinlichkeitsrechnung und Statistik, Computerprogrammierung und Softwareentwicklung, Compiler und Übersetzer, S… More...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2010, ISBN: 9781441923127
Paperback, Hardcover
[ED: Kartoniert / Broschiert], [PU: Springer New York], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This unique, example-driven monogr… More...
booklooker.de |
2010, ISBN: 9781441923127
Hardcover
[ED: Softcover], [PU: Springer / Springer New York / Springer, Berlin], Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase… More...
ISBN: 9781441923127
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency in sequential algorithms, enable otherwise nonfunctional dis… More...
2010
ISBN: 9781441923127
Hardcover
[ED: Softcover], [PU: Springer / Springer New York / Springer, Berlin], Illustrates by example the typical steps necessary in computer science to build a mathematical model of any program… More...
2010, ISBN: 1441923128
Hardcover
Softcover reprint of hardcover 1st ed. 2005 Kartoniert / Broschiert Wahrscheinlichkeitsrechnung und Statistik, Computerprogrammierung und Softwareentwicklung, Compiler und Übersetzer, S… More...
2010, ISBN: 9781441923127
Paperback, Hardcover
[ED: Kartoniert / Broschiert], [PU: Springer New York], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This unique, example-driven monogr… More...
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - Abstraction Refinement and Proof for Probabilistic Systems by Annabelle Mciver Paperback | Indigo Chapters
EAN (ISBN-13): 9781441923127
ISBN (ISBN-10): 1441923128
Hardcover
Paperback
Publishing year: 2010
Publisher: Annabelle Mciver
404 Pages
Weight: 0,608 kg
Language: eng/Englisch
Book in our database since 2011-12-14T07:39:29-05:00 (New York)
Detail page last modified on 2024-04-16T16:10:57-04:00 (New York)
ISBN/EAN: 9781441923127
ISBN - alternate spelling:
1-4419-2312-8, 978-1-4419-2312-7
Alternate spelling and related search-keywords:
Book author: charles morgan, mciver, carroll
Book title: abstraction, annabelle
Information from Publisher
Author: Annabelle McIver
Title: Monographs in Computer Science; Abstraction, Refinement and Proof for Probabilistic Systems
Publisher: Springer; Springer US
388 Pages
Publishing year: 2010-11-19
New York; NY; US
Printed / Made in
Language: English
164,99 € (DE)
BC; 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; BB
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.More/other books that might be very similar to this book
Latest similar book:
9780387270067 Abstraction, Refinement and Proof for Probabilistic Systems (Annabelle McIver; Charles Carroll Morgan)
< to archive...