€149.79
Mục lục
Probabilistic guarded commands and their refinement logic.- to p GCL: 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 q TL.- The quantitative modal ?-calculus, and gambling games.
Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!
Ngôn ngữ Anh ● định dạng PDF ● Trang 388 ● ISBN 9780387270067 ● Kích thước tập tin 3.2 MB ● Nhà xuất bản Springer New York ● Thành phố NY ● Quốc gia US ● Được phát hành 2005 ● Có thể tải xuống 24 tháng ● Tiền tệ EUR ● TÔI 2144297 ● Sao chép bảo vệ DRM xã hội
Thêm sách điện tử từ cùng một tác giả / Biên tập viên
16.580 Ebooks trong thể loại này
