Több mint 4 millió cím angol és más nyelveken! Fedezd fel új történetedet még ma!

Formal System Verification

Name: Formal System Verification
Brand: Springer International Publishing AG
SKU: 9783319576831
Price: 45861 HUF
Availability: InStock

Szerző: Rolf Drechsler

Nyelv:

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

Kiadó: Springer International Publishing AG

Elérhetőség: Beszállítói készleten

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

45 861 Ft

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

Információk a könyvről

Szerző

Rolf Drechsler

Nyelv

Angol

Kötés

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

Kiadva

2017

oldal

182

EAN

9783319576831

ISBN

3319576836

Enbook ID

16106137

Kiadó

Springer International Publishing AG

Súly

4262

Méretek

155 x 235 x 18

Teljes leírás

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.