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.
