Formal Hardware Verification: Methods and Systems in Comparison - Lecture Notes in Computer Science - Thomas Kropf - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540634751 - 27 augustus 1997
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 52,49

Besteld in een afgelegen magazijn

Verwachte levering 8 - 16 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst
of

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 Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 27 augustus 1997
ISBN13 9783540634751
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 388
Afmetingen 155 × 233 × 22 mm   ·   494 g
Taal en grammatica Duits  
Uitgever Kropf, Thomas

Meer door Thomas Kropf

Alles tonen

Bekijk alles van Thomas Kropf ( bijv. Hardcover Book , Book en Paperback Book )