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

Viac informácií o knihe Scalable Techniques for Formal Verification

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

Nákupom získate 265 bodov

Anotácia knihy

This book presents state-of-the-art approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It should benefit researchers and practitioners looking to get a broad overview of the spectrum of formal verification techniques, as well as approaches to combining such techniques within a single framework. Coverage includes a range of case studies showing how such combination is fruitful in developing a scalable verification methodology for industrial designs. This book outlines both theoretical and practical issues involved in integrating different reasoning methods to work in concert, and current approaches to their resolution.

Parametre knihy

Zaradenie knihy Knihy po anglicky Technology, engineering, agriculture Electronics & communications engineering Electronics engineering

• Celý názov: Scalable Techniques for Formal Verification
• Autor: Sandip Ray
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 243
• EAN: 9781441959973
• ISBN: 1441959971
• ID: 01423877
• Nakladateľ: Springer-Verlag New York Inc.
• Hmotnosť: 1200 g
• Rozmery: 235 × 155 × 25 mm
• Dátum vydania: 25. May 2010

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

---

---

---