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

Viac informácií o knihe Concurrency Theory

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

Nákupom získate 467 bodov

Anotácia knihy

Offers an introduction to LOTOS highlighting how the approach differs from competitor techniques such as CCS and CSP. The authors also generalise the simple communicating automata notation to yield timed automata with multi-way synchronisation using model-checking verification methods and new techniques to prevent time-locks from arising.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Mathematical theory of computation

• Celý názov: Concurrency Theory
• Podnázov: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
• Autor: Rodolfo Gomez
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 422
• EAN: 9781852338954
• ISBN: 9781852338954
• ID: 08856660
• Nakladateľ: Springer London Ltd
• Hmotnosť: 847 g
• Rozmery: 235 × 155 × 25 mm
• Dátum vydania: 08. December 2005

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

---

---

---