Formal specification and software development

التفاصيل البيبلوغرافية
المؤلف الرئيسي: Bjorner, Diner
مؤلفون آخرون: Jones, Cliff B.
التنسيق: Printed Book
اللغة:English
منشور في: New Jersy Prentice-hall international 1982
سلاسل:Printice-Hall International series in computer science
الموضوعات:
Microprogramming > Computer science > Computer system

UL

تفاصيل المقتنيات من UL
رقم الطلب: 004.414.38 BJO
النسخة الحالة المباشرة غير متاحة

مواد مشابهة