Mohlo by se vám také líbit

Více informací o knize Abstraction, Refinement and Proof for Probabilistic Systems

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

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

• Plný název: Abstraction, Refinement and Proof for Probabilistic Systems
• Autor: Annabelle McIver, Carroll Morgan
• Jazyk: Angličtina
• Vazba: Pevná
• Počet stran: 388
• EAN: 9780387401157
• ISBN: 0387401156
• ID: 05247820
• Nakladatelství: Springer-Verlag New York Inc.
• Hmotnost: 1650 g
• Rozměry: 235 × 155 × 25 mm
• Datum vydání: 19. November 2004

Oblíbené z jiného soudku

---

---

---