This text constitutes proceedings from the 1999 International Conference on Computer-Aided Design (ICCAD'99). Topics covered include placement, BDDs in formal verification and practical issues in order reduction.
"Sinopsis" puede pertenecer a otra edición de este libro.
This text constitutes proceedings from the 1999 International Conference on Computer-Aided Design (ICCAD'99). Topics covered include placement, BDDs in formal verification and practical issues in order reduction.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 28,97 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoLibrería: The Warm Springs Book Company, Fremont, CA, Estados Unidos de America
Soft cover. Condición: Fine. 1st Edition. Papers. Described as proceedings. Also known as ICCAD-99. IEEE Cat no 99CH37051. A nice, near fine to fine copy in printed wraps with slight wear to covers; Presumed 1st edition with no additional printings listed; Illustrated; A larger, heavy book 4to., xxiv + 613 pages plus author index., 0.0 0.0 0.0. Nº de ref. del artículo: 19809
Cantidad disponible: 1 disponibles