New data structures and algorithms for logic synthesis and verification

Amaru, Luca Gaetano

New data structures and algorithms for logic synthesis and verification Luca Gaetano Amaru - 1 recurso en línea (xvi, 156 páginas) ilustraciones (algunas a color)

SpringerLink

Incluye referencias bibliográficas e índice

3319431749 9783319431741


Estructuras de datos (Informática)

QA76.9 .D35 / 2017 EB