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

Viac informácií o knihe Handbook of Model Checking

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

Nákupom získate 381 bodov

Anotácia knihy

This book first explores the origins of this idea, grounded in theoretical work on temporal logic and automata. The editors and authors are among the world's leading researchers in this domain, and they contributed 32 chapters representing a thorough view of the development and application of the technique. Topics covered include binary decision diagrams, symbolic model checking, satisfiability modulo theories, partial-order reduction, abstraction, interpolation, concurrency, security protocols, games, probabilistic model checking, and process algebra, and chapters on the transfer of theory to industrial practice, property specification languages for hardware, and verification of real-time systems and hybrid systems.§§The book will be valuable for researchers and graduate students engaged with the development of formal methods and verification tools.§

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Software Engineering

• Celý názov: Handbook of Model Checking
• Autor: Roderick Bloem, Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 1210
• EAN: 9783319105741
• ISBN: 3319105744
• ID: 05267086
• Nakladateľ: Springer International Publishing AG
• Hmotnosť: 2108 g
• Rozmery: 244 × 166 × 59 mm
• Dátum vydania: 16. February 2018

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

---

---

---