Ramayya Kumar

R.K. · R. Kumar

Springer, Berlin

TitelISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Theorem Provers in Circuit Design: Theory, Practice and Experience978-3-540-59047-7
(3-540-59047-1)
1995Thomas Kropf

Ramesh K Dhungel