Scalable Techniques for Formal Verification

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

Autor: Sandip Ray

Limbă:

Legare: Copertă tare

Editura: Springer-Verlag New York Inc.

Disponibilitate: În depozitul extern în cantități mici

Expediem în 11-15 zile

582.46 lei

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

Informații despre carte

Autor

Sandip Ray

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

2010

Pagini

243

EAN

9781441959973

ISBN

1441959971

Enbook ID

01423877

Editura

Springer-Verlag New York Inc.

Greutate

1200

Dimensiuni

155 x 235 x 25

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Scalable Techniques for Formal Verification

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și