Annual Member
| Title | Current trends in hardware verification and automated theorem proving / G. Birtwistle, P.A. Subrahmanyam, editors |
|---|---|
| Imprint | New York : Springer-Verlag, c1989 |
| Descript | viii, 489 p. : ill. ; 25 cm |
| LOCATION | CALL# | STATUS |
|---|---|---|
| Central Library (4th Floor) | 621.395 C976 | CHECK SHELVES |
Office of Academic Resources
Chulalongkorn University
254 Phayathai Road, Pathumwan, Bangkok 10330 Thailand
Library Service 0-2218-2929, 0-2218-2927
Administrative Division 0-2218-2903
Fax. 0-2215-3617
Email 