Ramayya Kumar
Theorem Provers in Circuit Design: Theory, Practice, and Experience
Ramayya Kumar · 1995
פרטי הספר
- שנה
- 1995
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 303
- ISBN
- 9780387590479
מקור הנתונים: Wikidata
Ramayya Kumar · 1995
מקור הנתונים: Wikidata