Pub Date: October 2, 1991
Dewey: 621.3815
LCCN: 91026277
Lexile Code: 0000
Features: Bibliography, Illustrated
Target Age Group: NA to NA
Physical Info: 0.81" H x 9.21" L x 6.14" W ( 1.21 lbs) 378 pages
BISAC Categories:
Technology and Engineering | Electronics | Circuits General | Computers | Logic Design | Software Development and Engineering | Systems Analysis and Design | Mathematics | Logic | Artificial Intelligence | Expert Systems | Programming | General | Networking | Hardware | Computer Science | Computer Architecture
Description: This volume is the proceedings of a workshop presenting results that lead to new or more powerful computer aided verification methods: advances in the use of binary decision diagrams, dense time, reductions based upon partial order representations, and proof-checking in controller verification.