Program Development by Refinement: Case Studies Using the B Method

الكاتب: Kaisa Sere، Emil Sekerinski، E Sekerinski

تصنيف: زراعة و حيوان / زراعة عامة

الناشر: Springer

السّنة: 1998-10-23

ردمك: 9781852330538

السّعر (USD): 95.0

مكتبة نيل و فرات