The correctness problem in computer science

التفاصيل البيبلوغرافية
مؤلفون آخرون:	Boyer, Robert S., Moore, J Strother, 1947-
التنسيق:	كتاب
اللغة:	الإنجليزية
منشور في:	London Academic Press 1981.
الموضوعات:	Computer programs > Correctness.