Scalable Techniques for Formal Verification

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

Autor: Sandip Ray

Język:

Oprawa: Twarda

Wydawca: Springer-Verlag New York Inc.

Dostępność: Dostępna u dostawcy w małych ilościach

Wysyłamy za 13-18 dni

472.40 zł

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

Informacje o książce

Autor

Sandip Ray

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

2010

strony

243

EAN

9781441959973

ISBN

1441959971

Enbook ID

01423877

Wydawca

Springer-Verlag New York Inc.

Waga

1200

Wymiary

155 x 235 x 25

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Scalable Techniques for Formal Verification

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również