Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Formal System Verification

Name: Formal System Verification
Brand: Springer International Publishing AG
SKU: 16106137
Price: 123.15 EUR
Availability: InStock
Author: Rolf Drechsler
ISBN: 9783319576831

Rolf Drechsler

Language

English

Book Hardback

Libristo code: 16106137

Publishers Springer International Publishing AG, July 2017

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

Libristo code: 16106137

299 b

123.15 €

In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

Contes Allemands 2e Edition SIMROCK-K

Paperback

22.08 €

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.