2004, ISBN: 9780387401157
[ED: Hardcover], [PU: Springer, Berlin], The book is a focused survey on probabilistic program semantics, conceived to tell a coherent story with a uniform notation. It is grouped into three themes: Part I is for 'users' of the techniques who will be developing actual programs Part II gives mathematical foundations intended for those studying exactly how it was done and how to build semantic structures/models in their own work and Part III describes a very 'hot' research direction, temporal logic and model checking.Topics and features:- introduces readers to very up-to-date research in the mathematics of rigorous development of randomized (probabilistic) algorithms- 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 logicsAn advanced research survey monograph, integrating three major topic areas: random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models. Essential foundation topic for modern sequential programming methodology.2004. xx, 388 S. 63 SW-Abb., 5 Tabellen.Sofort lieferbar, [SC: 0.00], Neuware, gewerbliches Angebot
Booklooker.de
buecher.de GmbH & Co. KG
Shipping costs:Versandkostenfrei, Versand nach Deutschland (EUR 0.00) Details... |
ISBN: 9780387401157
[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - 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., [SC: 0.00], Neuware, gewerbliches Angebot, 243x164x25 mm, [GW: 750g]
Booklooker.de
Buchhandlung Hoffmann
Shipping costs:Versandkostenfrei, Versand nach Deutschland (EUR 0.00) Details... |
ISBN: 9780387401157
[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm ., [SC: 0.00], Neuware, gewerbliches Angebot, 243x164x25 mm, [GW: 750g]
Booklooker.de |
ISBN: 9780387401157
ID: 9780387401157
Abstraction, Refinement and Proof for Probabilistic Systems Abstraction-Refinement-and-Proof-for-Probabilistic-Systems~~Annabelle-McIver Computers>Xxxsoftware Engr>* Desc Unknown Hardcover, Springer New York
Barnesandnoble.com
new Shipping costs:zzgl. Versandkosten, plus shipping costs
Details... |
ISBN: 9780387401157
ID: 9780387401157
Abstraction Refinement and Proof for Probabilistic Systems 1st Edition Author :Annabelle McIver 9780387401157 0387401156, [PU: Springer]
printsasia.de
new Shipping costs: EUR 0.00
Details... |
Author: | |
Title: | Abstraction, Refinement and Proof for Probabilistic Systems |
ISBN: | 9780387401157 |
Details of the book - Abstraction, Refinement and Proof for Probabilistic Systems
EAN (ISBN-13): 9780387401157
ISBN (ISBN-10): 0387401156
Hardcover
Publishing year: 2005
Publisher: Springer-Verlag GmbH
388 Pages
Weight: 0,750 kg
Language: eng/Englisch
Book in our database since 03.06.2007 10:42:20
Book found last time on 07.05.2016 01:38:45
ISBN/EAN: 9780387401157
ISBN - alternate spelling:
0-387-40115-6, 978-0-387-40115-7
< to archive...
Nearby books
- "Lie Groups, Lie Algebras, and Representations", from "Hall, Brian C." (0387401229)
- "Stochastic Calculus for Finance II: Continuous-Time Models", from "Shreve, Steven E." (0387401016)
- "Stochastic Calculus for Finance I: The Binomial Asset Pricing Model", from "Shreve, Steven E." (0387401008)
- "Laser Beam Characterization", from "Eppich, Bernd; Maestle, Rudiger" (0387400990)
- "Dynamics of Spatio-Temporal Cellular Structures: Henri Ba(c)Nard Centenary Review", from "Innocent Mutabazi, Jose Eduardo Wesfreid, Etienne Guyon" (9780387400983)
- "Electroweak Symmetry Breaking", from "Kilian, W.; Kilian, Wolfgang" (0387400974)