Zobacz książki o podobnej tematyce

Więcej informacji o Model Checking

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

Za ten zakup dostaniesz 234 punkty

Opis

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer science

• Pełny tytuł: Model Checking
• Autor: Clarke, Edmund M., Jr. (Carnegie Mellon University), Orna (Technion) Grumberg, Daniel (Oxford University) Kroening, Doron (Bar Ilan University) Peled,
• Język: Angielski
• Oprawa: Twarda
• Liczba stron: 424
• EAN: 9780262038836
• ISBN: 9780262038836
• ID: 19285025
• Wydawca: MIT Press Ltd
• Waga: 820 g
• Wymiary: 236 × 187 × 25 mm
• Data wydania: 04. December 2018

Ulubione w innej kategorii

---

---

---