Filteren
Sorteren
5 resultaten
GebondenEngels9783484310674
1-1-1986
paperbackEngels9783540634751
27-8-1997
This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits. Meer
gebondenEngels9783540654452
16-10-1999
Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete overview of techniques for hardware verification. Meer
paperbackEngels9783642084775
9-12-2010
Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete overview of techniques for hardware verification. Meer
paperbackDuits9783662080641
14-12-2012
Seit ihrer Einführung hat die Kernspintomographie zu einer erheblichen Verbesserung der klinischen Diagnostik im Kopf-Hals-Bereich geführt, so daß sie in vielen Fällen bereits an erster Stelle der radiologischen Stufendiagnostik steht. Meer