Please type in at least 2 characters
Please type in at least 2 characters
Browse Categories
Bags & Travel Accessories
Electronics & Mobiles
Computer & Peripherals
Smart TV & Accessories
School Supplies
Toys & Kids Learning
Office Supplies
Arts & Crafts
Arabic Books
English Books
Audio & eBooks
Gaming
Digital Cards
Musical Instruments
Item 1 of 1
Item 1 of 1
Springer
Abstraction
Refinement and Proof for Probabilistic Systems
SR 691
Inclusive of VAT
SR41Per Month/24 months
This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
SR691
Incl. VAT
Secure Shopping
Convenient Returns
Genuine & Warranted
Fast Delivery
Or
About this Product
This book integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a highly focused survey on probabilistic program semantics. It illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm, addressing an essential foundation topic for modern sequential programming methodology.
Report an issue with this product.
