| Ihre Aktion | suchen [und] | ([PPN] Pica-Produktionsnummer) | | 1 Treffer |
PPN: |
||
[Hochschulschrift] |
||
Titel: |
Symbolic simulation methods for industrial formal verification / Robert B. Jones
|
|
Verfasser: |
||
Ort/Jahr: |
Boston [u.a.] : Kluwer Academic Publishers, c 2002 |
|
Ort(e): |
||
Sprache/n: |
Englisch |
|
Art des Inhalts: |
||
Umfang: |
XVIII, 150 S : graph. Darst ; 25 cm |
|
Hochschulschrift: |
Teilw. zugl.: Stanford, Univ., Diss., 1999 u.d.T.: Applications of symbolic simulation to the formal verification of microprocessors |
|
Mehr zum Titel: |
Includes bibliographical references (S. [135]-142) and index |
|
ISBN: |
1-4020-7103-5 |
|
Schlagwörter: |
||
Klassifikation: |
Library of Congress Classification: TK7874.75
Dewey Decimal Classification: [21] 621.395
|
|
 |
Links zum Titel:
|
 |
