Logic and specification extending VDM-SL for advanced formal specification

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Middelburg, Cornelis A.
التنسيق:	كتاب
اللغة:	English
منشور في:	London Chapman & Hall c1993.
الموضوعات:	Logic, Symbolic and mathematical. Software engineering.