Separation logic for high-level synthesis
| मुख्य लेखक: | |
|---|---|
| निगमित लेखक: | |
| स्वरूप: | Electronic Resource |
| भाषा: | English |
| प्रकाशित: |
Cham
Springer
[2017]
|
| विषय: | |
| ऑनलाइन पहुंच: | Available for University of the Philippines Diliman via SpringerLink. Click here to access Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy |