Scalable Techniques for Formal Verification

Name: Scalable Techniques for Formal Verification
Brand: Springer-Verlag New York Inc.
SKU: 9781441959973
Price: 40644 HUF
Availability: InStock

Szerző: Sandip Ray

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer-Verlag New York Inc.

Elérhetőség: Beszállítói készleten alacsony példányszámban

Küldés 13-18 napon belül

40 644 Ft

This book presents state-of-the-art approaches to formal verification techniques to seamlessly integ...

Információk a könyvről

Szerző

Sandip Ray

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2010

oldal

243

EAN

9781441959973

ISBN

1441959971

Enbook ID

01423877

Kiadó

Springer-Verlag New York Inc.

Súly

1200

Méretek

155 x 235 x 25

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Scalable Techniques for Formal Verification

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták