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
V1RKRWNrWjVNWEpIU0RKUFJVWktTRU5rTm5wUE1WQXZWWGxhVWxKaFltZERaa2xqT1hCQlREZHJMemhPZFZsclJVMXNZV0pxZFdsMU5FUlhkM0ZDU1VvclFqRTBSbWRIVlc5aFJ6ZHlSRUp2UzJGMWIxVmFaV3hyVVd4M1VETTBjamR5VURJMFVubEJZVWQ2VkROV1dVZFlZbm8zUVdwUlJGRTNhMlZ4VFdwRWFIVk9PRlpNTkVwWlJEZFZLMDQxTmsxMVdGTXlNSEJKY2s5bU5HbHpWblJaVjNKNlZqY3ZNMXBaVUdOQk1ERk5TSEZZVkZaME1VNUhTbXBqYmpKVFJEQjNjMVJ6WWxwQ1VIaFpWVlJJVnpoclRUWnNWbkE1YW5veE5EaDVVMGhaZUVGRVIyVlpUeXRqUlU4MGFtNHpkMDlNTTBZNVVVRXpVWEF2U0ZOa1ZEbElXbk4xVURJdlNtbEVUM1V3VlVKa1RWbDZNbEJzYlVnM1N6bHlUa2RwYTFGV1VVNU1ia0pMVm1FMlJFMDNSR1ZoUlVZMmRrZFRia0ppYVVKc05tODRhR3RZV25odFRHdDVWMDg1VWxwRWNraEJWVVozWjFOTWRHWlBZU3RWUjFWSmNYSnFiVXAwTURKblZYTnZlVGRpWjFKTWMwSm5aRUZoVGtwMlpHY3dNbUpqV2pOcWVsTnhja2x0SzNJNU4wcEJZMWw2UTBOek0zSTBXaTlCUnpKTFowVkpkVzVUU1ZWbFZIbGFVRTl1U1c1bVkwNVdPQ3RQUm5Kd2QzUndNR1Y1WldobVNtSmlUeTlVVUcxNVNFRnJOVkZEVWtSU1dWRldSMUJsYWtsb1pIRmFSREZtYm5Vd1ZFdGFNVmN6T1M5emJrbFRWbEp6YTBWMGVYbHVUSEp0VEVwWFkwVnJia2xVY1ZkbVZHRmxiVkJpTnpKUFl5OVpORUpWT0V4cVVGVnNNR28zVlV0bWVETlRRMmx4Wms1emJuWkdNVW81T1hKS1dWVXJWR1ZTWmpVd2QyMXNOWGg0ZGtWcWVXaFNVMEk1YzA1NVFqaHNSM0JZUzNkR1ZEQm9URVJFVlRGTkszWTRRV2t2YzFOak5sRkRRakowYm1sU1VqUndlbmRIV1dKRGVIcHJOak0wY2tSQmJVMXFWRzV5WjBSd1dGbHNLM0F3VjBGTFRVNVZMMlptUkRjcldrUXdSR013ZW05UllsTmtjMmxaYmpSTFp6UnVhbGd5TTNFdmVUTk1OWEV6WTFrd2FVSmxWV2Q0TVhOb2VHdG9VakJQZFVoVU5sUjBSRkV4UkZkdFVXRXJNbXhKUFE9PTpQaThDWDVQYmpleUQ1NGNHTVdsV1FnPT0=
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.
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9780387270067 |
| Publisher: | SPRINGER NEW YORK |
| Release Date: | October of 2005 |
| Language: | English |
| Format: | eBook |
| Collection: | Monographs In Computer Science |
| Categories: |
eBooks in English
>
Science
>
Mathematics
|
| EAN: | 9780387270067 |
BOOKS FROM THE SAME COLLECTION
-
eBook10%Complex AnalysisSpringer Berlin Heidelberg23,84€ 10% CARD
-
eBook10%Algorithmic Language And Program DevelopmentSpringer Berlin Heidelberg59,61€ 10% CARD
-
10%The Science Of Quantitative Information FlowSpringer International Publishing AG74,34€ 10% CARDfree shipping