Mohlo by sa vám tiež páčiť

Viac informácií o knihe Partial-Order Methods for the Verification of Concurrent Systems

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 125 bodov

Anotácia 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.

Parametre knihy

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

• Celý názov: Partial-Order Methods for the Verification of Concurrent Systems
• Podnázov: An Approach to the State-Explosion Problem
• Autor: Patrice Godefroid
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 143
• EAN: 9783540607618
• ISBN: 3540607617
• ID: 05274545
• Nakladateľ: Springer, Berlin
• Hmotnosť: 240 g
• Rozmery: 234 × 156 × 8 mm
• Rok vydania: 1996

Obľúbené z iného súdka

---

---

---