مشخصات سیستم جبری و توسعه: بررسی و کتابشناسی مشروح
Algebraic system specification and development: A survey and annotated bibliography
نویسنده: Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 1991
تعداد صفحات: 184 [104]
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 954 کیلوبایت