Computer aided verification 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992.

Computer aided verification 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992.

গ্রন্থ-পঞ্জীর বিবরন
সংস্থা লেখক: CAV (Conference) (4th : 1992 : Montreal, Canada)
অন্যান্য লেখক: Bochmann, G. V., Probst, D. K.
Resource Type: গ্রন্থ
ভাষা:English
প্রকাশিত: Berlin Springer-Verlag c1993.
মালা:Lecture notes in computer science 663
বিষয়গুলি:
Computer software > Verification > Congresses.
Electronic digital computers > Evaluation > Congresses.