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
S$ 73
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 12 - 22, 2026
Christmas presents can be returned until 31 January

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 , Paperback Book and Book )