Scalable Techniques for Formal Verification

Name: Scalable Techniques for Formal Verification
Brand: Springer-Verlag New York Inc.
SKU: 9781489984449
Price: 105.26 EUR
Availability: InStock

Autor: SANDIP RAY

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer-Verlag New York Inc.

Dostupnosť: Skladom u dodávateľa

Odosielame za 10-18 dní

105.26 €

This book presents the latest approaches to formal verification techniques to seamlessly integrate d...

Informácie o knihe

Autor

SANDIP RAY

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2014

Stránok

243

EAN

9781489984449

ISBN

9781489984449

Enbook ID

09062296

Vydavateľ

Springer-Verlag New York Inc.

Hmotnosť

403

Rozmery

155 x 235 x 15

Kompletný popis

This book presents the latest approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It outlines theoretical and practical issues and includes a range of case studies.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Scalable Techniques for Formal Verification

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež