symbolic . analysis . parallelizing . compilers . springer . international . series . engineering . computer . science . approach . high-level . synthesis . digital . circuits . gupta . sumit . dutt . nikil . rajesh . haghighat . mohammad . lubachevsky .
Format
Author
Status
List Price