Ramayya Kumar

Ramayya Kumar

2 ספרים במאגר

ספרים

Theorem provers in circuit designRamayya Kumar

Theorem provers in circuit design

Ramayya Kumar · 1995

Theorem Provers in Circuit Design: Theory, Practice, and ExperienceRamayya Kumar

Theorem Provers in Circuit Design: Theory, Practice, and Experience

Ramayya Kumar · 1995