.png){kind=logo}
Computer-aided design (CAD)
Results 961 - 962 of 962
Computer-aided design (CAD)
Paperback. These papers are in topical sections on abstraction, symbolic simulation, model checking, microprocessor specification and verification, decision procedures, verification techniques and methodology, hardware description languages, and prototyping and synthesis. Editor(s): Aagaard, Mark; O'Leary, John W. Series: Lecture Notes in Computer Science. Num Pages: 420 pages, biography. BIC Classification: UGC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 21. Weight in Grams: 586.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 420
- Condition
- New
- SKU
- V9783540001164
- ISBN
- 9783540001164
Paperback
Condition: New
€ 72.46
€ 72.46
Interconnect Technology and Design for Gigascale Integration
. Ed(S): A. Davis, Jeffrey; D. Meindl, James
Paperback. Editor(s): A. Davis, Jeffrey; D. Meindl, James. Num Pages: 411 pages, biography. BIC Classification: THR; TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 22. Weight in Grams: 652.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 411
- Condition
- New
- SKU
- V9781461350880
- ISBN
- 9781461350880
Paperback
Condition: New
€ 195.37
€ 195.37