Browse by Subject
Browse by Format
Locate an E-resource
Key English E-resources
Key Chinese E-resources
New E-resources
E-resource on trial
 
Ask a LibrarianSeek information advisory service
HKUL > Electronic Resources   

Advanced formal verification

netLibary
ebrary
ISBN/ISSN 1402025300
Broad Subject Electrical & electronic engineering
General - Engineering & Technology
Subject Electronic circuits - Testing
Decision trees
Publisher Kluwer Academic Publishers
Language English
Warning: Use of the files is restricted to purposes of research and education only. Other uses and excessive downloading are strictly prohibited. Violators will lose library privileges, face disciplinary actions and may be prosecuted.
Available at :
netLibary
Authorized remote access from HKUVPN, EZproxy, Circle of Friends, HKU SPACE
Format E-Books
Location Web Mounted
ebrary
Authorized remote access from HKUVPN, EZproxy, Circle of Friends, HKU SPACE
Format E-Books
Location Web Mounted
No. of users varies
   
Warning: Licences prohibit excessive downloading   |  Copyright & Disclaimer