The way of Z: practical programming with formal methods

other_versions_link
التفاصيل البيبلوغرافية
المؤلف الرئيسي: Jacky, Jonathan
التنسيق: Printed Book
اللغة:English
منشور في: Cambridge Cambridge University press 1997
الموضوعات:
Z (Computer program language)

DCA

تفاصيل المقتنيات من DCA
رقم الطلب: 004.43 JAC
النسخة الحالة المباشرة غير متاحة

مواد مشابهة