An introduction to formal program verification

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Mili, Ali
التنسيق:	كتاب
اللغة:	English
منشور في:	New York Van Nostrand Reinhold c1985.
الموضوعات:	Computer programs > Verification.