Kód: 05256930
Abstraction, Refinement and Proof for Probabilistic Systems
Autor Annabelle McIver, Charles Carroll Morgan
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 l ... celý popis
- Jazyk:
Angličtina - Väzba: Brožovaná
- Počet strán: 388
Nakladateľ: Springer-Verlag New York Inc., 2010
- Viac informácií o knihe
146.97 €
Bežne: 147.01 €
Ušetríte 0.04 €
Skladom u dodávateľa
Odosielame za 10 - 18 dní
Mohlo by sa vám tiež páčiť
-
Super Minds Level 5 Student's Book with Digital Pack Special Edition
8.99 € -
Arménie – Rother
12.23 € -35 % -
Toxic Travel Guide
13.95 € -24 % -
Vitamix Cookbook
25.08 € -25 % -
Love in a Cold Climate
12.03 € -24 % -
Introduction to Protein Structure Prediction
156.08 € -2 % -
What Winners Won't Tell You: Lessons from a Legendary Defender
32.46 € -15 % -
Kwestionariusz wrazliwosci przetwarzania sensorycznego u dzieci
6.77 € -
Ninnoli
11.72 € -14 % -
Transmedia Archaeology
65.94 € -
Integration in an Expanding European Union: Reasse ssing the Fundamentals
25.79 € -9 % -
Designing Gestural Interfaces
48.65 € -
The Head & the Load
70.29 € -
iQuit
10.61 € -7 % -
It Starts with YOU!
16.07 € -7 % -
prince. Il «principe» in francese (XVI-XVII secolo)
53.60 € -
Earthcare
172.77 € -
How to Make Huge Cash with Section 8 Rentals the Landlord Handbook How to Be a Great Landlord & How Small Investors Can Get Started in Commercial Prop
14.05 € -7 % -
Der Shakespeare-Dieb
8.28 € -9 % -
Pathways to Bliss
33.68 € -2 % -
Libération et guérisons multidimensionnelles - A la découverte de l'Homme nouveau
24.07 € -
Comparing Super-Diversity
68.98 € -
Guess What! Level 5 Activity Book with Home Booklet and Online Interactive Activities Spanish Edition
29.63 € -
Macromolecular Crystallography
154.36 € -7 % -
Archaeology of Ancient Mexico and Central America
369.11 € -
Ave Maria: selection from a chirographic opus in 300 languages
22.65 € -6 % -
If Pressed
13.44 € -24 % -
Nanohybrid Catalyst based on Carbon Nanotube
102.97 € -7 %
Darujte túto knihu ešte dnes
- Objednajte knihu a vyberte Zaslať ako darček.
- Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.
Viac informácií o knihe Abstraction, Refinement and Proof for Probabilistic Systems
Nákupom získate 356 bodov
Anotácia knihy
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.§
Parametre knihy
Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Probability & statistics
146.97 €
- Celý názov: Abstraction, Refinement and Proof for Probabilistic Systems
- Autor: Annabelle McIver, Charles Carroll Morgan
- Jazyk: Angličtina
- Väzba: Brožovaná
- Počet strán: 388
- EAN: 9781441923127
- ISBN: 1441923128
- ID: 05256930
- Nakladateľ: Springer-Verlag New York Inc.
- Hmotnosť: 617 g
- Rozmery: 235 × 155 × 235 mm
- Dátum vydania: 12. February 2010
Obľúbené z iného súdka
-
How to Lie with Statistics
14.56 € -23 % -
Theory That Would Not Die
14.05 € -25 % -
Statistics Workbook For Dummies, 2nd Edition with Online Practice
18 € -26 % -
Naked Statistics
13.54 € -24 % -
How to Lie with Statistics
10.61 € -25 % -
Fifty Challenging Problems in Probability with Solutions
8.59 € -24 % -
Statistics For Dummies, 2nd Edition
18.30 € -24 % -
Schaum's Outline of Probability and Statistics
18.91 € -25 % -
Foundations of Modern Probability
100.74 € -9 % -
Unfinished Game
23.26 € -
Basic Probability Theory
16.78 € -25 % -
Bayesian Analysis with Python
53.60 € -1 % -
Statistical Thermodynamics
7.88 € -24 % -
Manga Guide To Statistics
18.30 € -24 % -
Cambridge International AS & A Level Mathematics Probability and Statistics 1 Student's Book
32.66 € -
Elements of Statistical Learning
85.77 € -12 % -
Statistics Done Wrong
29.83 € -
Manga Guide To Regression Analysis
18.60 € -25 % -
Bayesian Data Analysis
116.52 € -
Collected Works of C.G. Jung
20.32 € -24 % -
Pearson Edexcel International A Level Mathematics Statistics 2 Student Book
39.54 € -
Probability Theory
143.33 € -
Elementary Decision Theory
16.78 € -25 % -
Introduction to Statistical Learning
60.58 € -9 % -
Introduction to Probability, Second Edition
111.16 € -
Statistics
66.75 € -5 % -
Introductory Econometrics for Finance
70.80 € -
Probability Theory
7.88 € -24 % -
Statistics: A Very Short Introduction
10 € -24 % -
Foundations of the Theory of Probability
9.90 € -
Causal Inference in Statistics - A Primer
42.68 € -5 % -
Doing Bayesian Data Analysis
92.45 € -
Cambridge International AS & A Level Mathematics Probability & Statistics 1
34.79 € -
First Course in Probability, Global Edition
84.25 € -10 % -
Applied Time Series Analysis and Forecasting with Python
80.61 € -9 % -
Schaum's Outline of Beginning Statistics, Second Edition
30.54 € -17 % -
Understanding Probability
73.33 € -
Statistical Physics
82.13 € -
Probability and Computing
64.33 € -5 % -
First Look At Rigorous Probability Theory, A (2nd Edition)
34.18 € -
Seven Pillars of Statistical Wisdom
26.70 € -
Modern Statistics
80.61 € -9 % -
Analytic Combinatorics
115.61 € -
Handbook of Statistical Analyses using R
97.61 € -
Practice of Statistics for Business and Economics
97.91 € -1 % -
Choosing and Using Statistics - A Biologists' Guide 3e
43.99 € -5 % -
Practical Nonparametric Statistics 3e
277.87 € -
Nonlinear Time Series Analysis
153.34 € -
Probability with R - An Introduction with Computer Science Applications, Second Edition
111.06 € -2 %
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 12825 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
24 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)