iso certification
หน้าแรก Library Catalog (OPAC)

AuthorDrechsler, Rolf
TitleAdvanced Formal Verification [electronic resource] / edited by Rolf Drechsler
Imprint Boston, MA : Kluwer Academic Publishers, 2004
Connect tohttp://dx.doi.org/10.1007/b105236
Descript-

SUBJECT

  1. Computer Science
  2. Electronic and Computer Engineering
  3. Theory of Computation
  4. Computing Methodologies
  5. Computer-Aided Engineering (CAD
  6. CAE) and Design
  7. Symbolic and Algebraic Manipulation

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

Complaint / Suggestions

Staff Only