Viac ako 4 milióny titulov v angličtine aj ďalších jazykoch! Objavte svoj nový príbeh ešte dnes!

Formal System Verification

Name: Formal System Verification
Brand: Springer International Publishing AG
SKU: 9783319576831
Price: 119.65 EUR
Availability: InStock

Autor: Rolf Drechsler

Jazyk:

Väzba: Pevná

Vydavateľ: Springer International Publishing AG

Dostupnosť: Skladom u dodávateľa

Odosielame za 10-13 dní

119.65 €

This book provides readers with a comprehensive introduction to the formal verification of hardware...

Informácie o knihe

Autor

Rolf Drechsler

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

2017

Stránok

182

EAN

9783319576831

ISBN

3319576836

Enbook ID

16106137

Vydavateľ

Springer International Publishing AG

Hmotnosť

4262

Rozmery

155 x 235 x 18

Kompletný popis

This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL). The authors demonstrate at different abstraction layers how formal methods can help to ensure functional correctness. Coverage includes the latest academic research results, as well as descriptions of industrial tools and case studies.