Formal Hardware Verification: Methods and Systems in Comparison - Lecture Notes in Computer Science - Thomas Kropf - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540634751 - August 27, 1997
In case cover and title do not match, the title is correct

Thomas Kropf
Formal Hardware Verification: Methods and Systems in Comparison - Lecture Notes in Computer Science

Price
HK$ 443
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping May 27 - Jun 2

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Presenting a survey of a variety of methods and systems for formal hardware verification, this work emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits.

388 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released August 27, 1997
ISBN13 9783540634751
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 388
Dimensions 155 × 233 × 22 mm   ·   494 g
Language German  
Editor Kropf, Thomas

More by Thomas Kropf

Show all

See all of Thomas Kropf ( e.g. Hardcover Book and Paperback Book )