Proceedings of the Symposium on Testing Analysis , and Verification (TAV4) , Victoria . British Columbia October Sponsored
/ by : ACM SIGSOFT 8-10= 1991
Proceedings of the Symposium on Testing Analysis , and Verification (TAV4) , Victoria . British Columbia October Sponsored
نویسنده
/ by : ACM SIGSOFT 8-10= 1991نسخه 1
0-89791-449-x
فهرست
شناسنامه
عنوان و نام پدیدآور
Proceedings of the Symposium on Testing Analysis , and Verification (TAV4) , Victoria . British Columbia October Sponsored / / by : ACM SIGSOFT 8-10= 1991مشخصات نشر
نیویورک : : The Association for Computing Machinery، 1991ممشخصات ظاهری
viii, 213 p.؛ ; 28cm؛ : ill..موضوع
Computer SoftwareVerification
Congresses
شناسه های افزوده
ACM SIGSOFT، نویسنده .
زبان
انگلیسیشماره بازیابی
کنگره:
انگليسي.
Includes bibliographical references.
Includes bibliographical references.
