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 - Vazba: Brožovaná
- Počet stran: 388
Nakladatelství: Springer-Verlag New York Inc., 2010
- Více informací o knize
Mohlo by se vám také líbit
-
Super Minds Level 5 Student's Book with Digital Pack Special Edition
215 Kč -
Toxic Travel Guide
317 Kč -
Arménie – Rother
333 Kč -
Vitamix Cookbook
591 Kč -
Love in a Cold Climate
291 Kč -
Introduction to Protein Structure Prediction
3777 Kč -
What Winners Won't Tell You: Lessons from a Legendary Defender
785 Kč -
Kwestionariusz wrazliwosci przetwarzania sensorycznego u dzieci
165 Kč -
Pathways to Bliss
816 Kč -
Ninnoli
539 Kč -
Transmedia Archaeology
1516 Kč -
Integration in an Expanding European Union: Reasse ssing the Fundamentals
589 Kč -
The Head & the Load
1701 Kč -
Designing Gestural Interfaces
1178 Kč -
prince. Il «principe» in francese (XVI-XVII secolo)
1298 Kč -
Earthcare
3971 Kč -
It Starts with YOU!
390 Kč -
iQuit
258 Kč -
Comparing Super-Diversity
1668 Kč -
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
340 Kč -
Libération et guérisons multidimensionnelles - A la découverte de l'Homme nouveau
583 Kč -
Der Shakespeare-Dieb
240 Kč -
Ave Maria: selection from a chirographic opus in 300 languages
548 Kč -
If Pressed
325 Kč -
Archaeology of Ancient Mexico and Central America
8484 Kč -
Macromolecular Crystallography
4059 Kč -
Mandoa, Mandoa!
660 Kč -
Reliability of Maintained Systems Subjected to Wear Failure Mechanisms - Theory and Applications
3846 Kč
Dárkový poukaz: Radost zaručena
- Darujte poukaz v libovolné hodnotě a my se postaráme o zbytek.
- Poukaz se vztahuje na celou naši nabídku.
- Elektronický poukaz vytisknete z e-mailu a můžete ihned darovat.
- Platnost poukazu je 12 měsíců od data vystavení.
Více informací o knize Abstraction, Refinement and Proof for Probabilistic Systems
Nákupem získáte 338 bodů
Anotace 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.§
Parametry knihy
Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Probability & statistics
3379 Kč
- Plný název: Abstraction, Refinement and Proof for Probabilistic Systems
- Autor: Annabelle McIver, Charles Carroll Morgan
- Jazyk: Angličtina
- Vazba: Brožovaná
- Počet stran: 388
- EAN: 9781441923127
- ISBN: 1441923128
- ID: 05256930
- Nakladatelství: Springer-Verlag New York Inc.
- Hmotnost: 617 g
- Rozměry: 235 × 155 × 235 mm
- Datum vydání: 12. February 2010
Oblíbené z jiného soudku
-
How to Lie with Statistics
240 Kč -
Theory That Would Not Die
334 Kč -
Probability and Statistics with R
3588 Kč -
Naked Statistics
311 Kč -
How to Lie with Statistics
293 Kč -
Fifty Challenging Problems in Probability with Solutions
194 Kč -
Statistics For Dummies, 2nd Edition
412 Kč -
Schaum's Outline of Probability and Statistics
458 Kč -
Statistics Workbook For Dummies, 2nd Edition with Online Practice
412 Kč -
Foundations of Modern Probability
2235 Kč -
Unfinished Game
539 Kč -
Basic Probability Theory
385 Kč -
Bayesian Analysis with Python
1296 Kč -
Statistical Thermodynamics
178 Kč -
Manga Guide To Statistics
412 Kč -
Cambridge International AS & A Level Mathematics Probability and Statistics 1 Student's Book
752 Kč -
Elements of Statistical Learning
2075 Kč -
Statistics Done Wrong
400 Kč -
Manga Guide To Regression Analysis
420 Kč -
Bayesian Data Analysis
2688 Kč -
Pearson Edexcel International A Level Mathematics Statistics 2 Student Book
865 Kč -
Elementary Decision Theory
380 Kč -
Introduction to Statistical Learning
1521 Kč -
Introduction to Probability, Second Edition
2567 Kč -
Statistics
1572 Kč -
Collected Works of C.G. Jung
458 Kč -
Introductory Econometrics for Finance
1682 Kč -
Probability Theory
191 Kč -
Statistics: A Very Short Introduction
225 Kč -
Foundations of the Theory of Probability
230 Kč -
Probability Theory
3299 Kč -
Causal Inference in Statistics - A Primer
1039 Kč -
Doing Bayesian Data Analysis
2133 Kč -
Cambridge International AS & A Level Mathematics Probability & Statistics 1
804 Kč -
First Course in Probability, Global Edition
2130 Kč -
Applied Time Series Analysis and Forecasting with Python
1789 Kč -
Schaum's Outline of Beginning Statistics, Second Edition
693 Kč -
Understanding Probability
1688 Kč -
Statistical Physics
2007 Kč -
Probability and Computing
1475 Kč -
First Look At Rigorous Probability Theory, A (2nd Edition)
790 Kč -
Seven Pillars of Statistical Wisdom
619 Kč -
Modern Statistics
2175 Kč -
Analytic Combinatorics
2658 Kč -
Practice of Statistics for Business and Economics
2249 Kč -
Handbook of Statistical Analyses using R
2254 Kč -
Choosing and Using Statistics - A Biologists' Guide 3e
953 Kč -
Practical Nonparametric Statistics 3e
6439 Kč -
Probability with R - An Introduction with Computer Science Applications, Second Edition
2551 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 46366 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)