Data Refinement: Model-Oriented Proof Methods and their Comparison
لا توجد تقييمات بعد
Jan 28, 1999
·
الإنجليزية
·
غلاف صلب
(436 صفحات)