Mohlo by sa vám tiež páčiť

Viac informácií o knihe Abstraction, Refinement and Proof for Probabilistic Systems

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 406 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 Computing & information technology Computer programming / software development Software Engineering

• Celý názov: Abstraction, Refinement and Proof for Probabilistic Systems
• Autor: Annabelle McIver, Carroll Morgan
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 388
• EAN: 9780387401157
• ISBN: 0387401156
• ID: 05247820
• Nakladateľ: Springer-Verlag New York Inc.
• Hmotnosť: 1650 g
• Rozmery: 235 × 155 × 25 mm
• Dátum vydania: 19. November 2004

Obľúbené z iného súdka

---

---

---