Formal Hardware Verification: Methods and Systems in Comparison - Lecture Notes in Computer Science - Thomas Kropf - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540634751 - 27. avgusta 1997
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 50,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 2. - 10. jul

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

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

Medij Knjige     Hardcover Book   (Knjiga s trdim hrbtom in platnicami)
Izdano 27. avgusta 1997
ISBN13 9783540634751
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 388
Dimenzije 155 × 233 × 22 mm   ·   494 g
Jezik Nemščina  
Urednik Kropf, Thomas

Več od Thomas Kropf

Prikaži vse

Mere med samme udgiver

Ogled vseh Thomas Kropf ( Na primer Hardcover Book in Paperback Book )