Advanced Formal Verification (Record no. 44204)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00910nam a2200169Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 140223b2004 xxu||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781402077210 |
| Terms of availability | 0.00 |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 621.38150285514 |
| Item number | ADV |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Drechsler, Rolf |
| 245 ## - TITLE STATEMENT | |
| Title | Advanced Formal Verification |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc. | Boston |
| Name of publisher, distributor, etc. | Kluwer Academic Publishers |
| Date of publication, distribution, etc. | 2004 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 249p |
| 500 ## - GENERAL NOTE | |
| General note | Introduction What Sat Solvers can and cannot do Advancements in Mixed BDD and SAT Techniques Equivalence Checking of Arithmetic Circuits Application of Property Checking and Underlying Techniques Assertion Based Verification Formal Verification for Nonlinear Analog Systems |
| 600 ## - SUBJECT ADDED ENTRY--PERSONAL NAME | |
| Personal name | Electronic Engineering |
| 890 ## - | |
| -- | UK |
| 995 ## - RECOMMENDATION 995 [LOCAL, UNIMARC FRANCE] | |
| -- | ADV |
| -- | 003186 |
| -- | ECE-PG0 |
| -- | 6240.00 |
| -- | 0 |
| -- | 049 |
| -- | 087918 |
| -- | 0 |
| -- | 0.00 |
| -- | 4524.00 27.5% |
| -- | 20050318 |
| -- | 02 |
| -- | C |
| -- | 20050527 |
| -- | Himanshu Book Co. |
| -- | Reference |
No items available.