مهندسی نرم افزار با OBJ: مشخصات جبری در عمل
Software engineering with OBJ: algebraic specification in action
نویسنده: Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi (auth.), Joseph Goguen, Grant Malcolm (eds.)
ناشر: Springer US
سال انتشار: 2000
تعداد صفحات: 428
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 3 مگابایت