English
Beginner
Logic and specification: extending VDM-SL for advanced formal specification
Cornelis A. Middelburg
1993
مشاهدهٔ کتاب
کشف منابع
VDM-SL
کتابها
1 نتیجهکشف منابع
Cornelis A. Middelburg