adicionar à lista de desejos
Abstraction, Refinement And Proof For Probabilistic Systems eBook
language: english
Publisher:
SPRINGER NEW YORK, October of 2005 ‧
see product details
171,59€
10% OFF
CARD
VVdWTmJ6Vk5iRFk1YlVWSFdFbHpkM1lyTVZSclNUQmpOa0Y2UVZsRlEyTndNMjlrVVRWRVRubEhWRXR6TWxaSFRTOWliRlJDVEhGcFR5dDVWRzVMY1RKbVVFeDFkV3hvSzJKaFNUbFJRbGRZVG5SeFdsTllUMHBHUmpZM0wzVXdVRmh2THpoWlMweHRhSEZtU1ROcVpXTlhNaXRwYXpsVmRYZHNTeTlCVTBoeFlYQnVjWEY0U3psMk4yMW5lU3RHVmpGcFUwWmlZelUwUkU1WU4weGhVak5CWm0xU00ydzVTM0UyVkdKcmFIUXlUMVIyZGtwMFQwMHhUMjAwTlVablF6ZDNWR1pZYldsWGRVWkJWRGQyUVRSdFJIUm5UMjA1VlcxRmQxRkhibVl3UjB0bGFuYzBjbWhpT0d0SFluZFlWeTgwUVRaclRIcHVjemh2VlVkVE4yMVpTaXRyVjI1UGJsQk9jRFpGWTBSNFdFUlZaVkJDZFZOWmVtcFBjRlpCUjJNeFozTk1lRVZUYnpScFJETkpSazVLV2xaYVNtUlJOelpvVHpnNU1VZGtkMDV4WkN0U1RYbDZOMGxoYkU0clZUZDVaVXRDYkVaS1ZpOTFObkptV2psUFpFVnNibTl2U1doelpqQTBlRE4xV2pobVJuUmxSelZhUTJoV1ZqTkpTWHB0VEhkWFNUTkZkbXRVTkRaVFMzVnlMelZUUnpWWGNUSmpUMmw1TldkQ2RUVTBRVTVvTUUwdmVrTjBPSFpLTkdVMlJYaGhjak5sY0c5a2FuZFpXV1ZoTHpCQ1pUVlhjRU5NVEc5SllVNWlVVWhyWW1abFZEQndRVWcyYUM5cmJFZzRlRzQ1VGpCS2NEWmhkRTlKVXpndlQxWTJNRUZtYlRKUEwyZENLM0E0YVhWQ1kwdENlVXhJVEZCbGRrRkhSM0V6VDFFMVZqaFFaRFJQZFVSTWRqUkNVV3haTHpNMFMzWkNORWRRZUdkclFWaExaVk5JVFVSclkzSTRMMHQyVFVaaWRVVnlURUZWZEZWSmFURjJTMmRzVnk5RmRVeDBibVJRZUU5S01WVXZaa3c0U1ZCVGEwcFFUV1UxVm5OeU1WVTFVM2hHY21Od1dqWkpla1F3ZDNZM2EzUjVjV053TjI4clYydG9UbTE1YUVFME5VaHhZMUV2VkhSdFFqaHhUbXBQU2xjNVpWVm1ORnBMVjI1bWVUSnlRamhKV0M5b1dFVkhLMGx4ZFRoRlRFbHZXV3AwZUU4MU1taEtPVkZZZUdkRVpHTnFaMDFTYTA5RFRGSjRNakpLYVhrd2VYTTRORUZOUFE9PTp1RU5nZGhvT1ovTlJ0bVRLQUk3d0NBPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
Covers random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a focused survey on probabilistic program semantics. This book illustrates the typical steps useful in computer science to build a mathematical model of various programming paradigms.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9780387270067 |
| Publisher: | SPRINGER NEW YORK |
| Release Date: | October of 2005 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Monographs In Computer Science |
| Categories: |
eBooks in English
>
Science
>
Mathematics
|
| EAN: | 9780387270067 |
BOOKS FROM THE SAME COLLECTION
-
Complex AnalysiseBook10%Springer Berlin Heidelberg23,84€ 10% CARD
-
Algorithmic Language And Program DevelopmenteBook10%Springer Berlin Heidelberg59,61€ 10% CARD
-
The Science Of Quantitative Information Flow10%Springer International Publishing AG74,34€ 10% CARDfree shipping