Computer-Aided Validation / Verification

Applied Machine Vision Technical Paper Set
Paperback; $47
(Special Order)

 Computer-Aided Verification of Coordinating Processes : The Automata-Theoretic Approach (Princeton Series in Computer Science)
Robert P. Kurshan; Hardcover; $55

Intelligent Visual Inspection : Using Artificial Neural Networks
R. Rosandich; Hardcover; $85
(Special Order)

Introduction of Artificial Vision in Manufacturing and Inspection Work
and Its Training Implications
I. Aleksander, et al; Paperback; $6
(Special Order)

Conference Proceedings

Computer-Aided Verification '90
Proceedings of a DIMACS Workshop June 18-21, 1990
(DIMACS Series in Discrete Mathematics and Theoretical Computer Science)
E.M. Clarke, R.P. Kurshan (Editor); Hardcover; $54
(Special Order)

Workshop on Directions in Automated CAD-Based Vision
Maui, Hawaii June 2-3, 1991
Paperback; $64
(Special Order)