Zobacz książki o podobnej tematyce

Więcej informacji o Partial-Order Methods for the Verification of Concurrent Systems

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

Za ten zakup dostaniesz 175 punkty

Opis

This monograph is a revised version of the author's PhD thesis, submitted to the University of Liege, Belgium, with Pierre Wolper as thesis advisor. The general pattern of this work is to turn logical and semantic ideas into exploitable algorithms.

Szczegóły książki

Kategoria Knihy po anglicky Computing & information technology Computer science Computer architecture & logic design

• Pełny tytuł: Partial-Order Methods for the Verification of Concurrent Systems
• Podtytuł: An Approach to the State-Explosion Problem
• Autor: Patrice Godefroid
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 143
• EAN: 9783540607618
• ISBN: 3540607617
• ID: 05274545
• Wydawca: Springer, Berlin
• Waga: 240 g
• Wymiary: 234 × 156 × 8 mm
• Rok wydania: 1996

Ulubione w innej kategorii

---

---

---