Mohlo by se vám také líbit

Více informací o knize Partial-Order Methods for the Verification of Concurrent Systems

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

Nákupem získáte 118 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Computer architecture & logic design

• Plný název: Partial-Order Methods for the Verification of Concurrent Systems
• Podnázev: An Approach to the State-Explosion Problem
• Autor: Patrice Godefroid
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 143
• EAN: 9783540607618
• ISBN: 3540607617
• ID: 05274545
• Nakladatelství: Springer, Berlin
• Hmotnost: 240 g
• Rozměry: 234 × 156 × 8 mm
• Rok vydání: 1996

Oblíbené z jiného soudku

---

---

---