Zobacz książki o podobnej tematyce

Więcej informacji o Abstraction, Refinement and Proof for Probabilistic Systems

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 467 punkty

Opis

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.§

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer programming / software development Software Engineering

• Pełny tytuł: Abstraction, Refinement and Proof for Probabilistic Systems
• Autor: Annabelle McIver, Carroll Morgan
• Język: Angielski
• Oprawa: Twarda
• Liczba stron: 388
• EAN: 9780387401157
• ISBN: 0387401156
• ID: 05247820
• Wydawca: Springer-Verlag New York Inc.
• Waga: 1650 g
• Wymiary: 235 × 155 × 25 mm
• Data wydania: 19. November 2004

Ulubione w innej kategorii

---

---

---