روشهای رسمی صنعتی-استحکام در عمل
Industrial-Strength Formal Methods in Practice
نویسنده: Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (eds.)
ناشر: Springer-Verlag London
سال انتشار: 1999
تعداد صفحات: 409
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 42 مگابایت