The way of z practical programming with formal methods

التفاصيل البيبلوغرافية
المؤلف الرئيسي: Jonathan Jacky
التنسيق: Printed Book
اللغة:English
منشور في: Cambridge University Press 1997
الوصف
وصف مادي:350
ردمك:0-521-55976-6

مواد مشابهة