Home
/
Help
Author
Drechsler, Rolf
Title
Advanced Formal Verification [electronic resource] / edited by Rolf Drechsler
Imprint
Boston, MA : Kluwer Academic Publishers, 2004
Connect to
http://dx.doi.org/10.1007/b105236
Descript
-
Computer Science
Electronic and Computer Engineering
Theory of Computation
Computing Methodologies
Computer-Aided Engineering (CAD
CAE) and Design
Symbolic and Algebraic Manipulation
Top
Top
Location
Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand
Contact Us
Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907
About Us
Organization Overview
Library Complaint / Suggestions
FAQ & Suggestions Answer
Sitemap
Staff Only
Social Network