Formal methods of program verification

other_versions_link
التفاصيل البيبلوغرافية
المؤلف الرئيسي: Berg,H.K
التنسيق: Printed Book
اللغة:English
منشور في: New Jersey Prentice-Hall
الوصف
وصف مادي:ic,207
ردمك:0133288072

مواد مشابهة