New data structures and algorithms for logic synthesis and verification
| מחבר ראשי: | |
|---|---|
| מחבר תאגידי: | |
| פורמט: | Electronic Resource |
| שפה: | English |
| יצא לאור: |
Cham
Springer
[2017]
|
| נושאים: | |
| גישה מקוונת: | Available for University of the Philippines System via SpringerLink. Click here to access Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy |