خرید و دانلود نسخه کامل کتاب FME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings

fme 96 industrial benefit and advances in formal m

FME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings

نویسنده: C. A. R. Hoare (auth.), Marie-Claude Gaudel, James Woodcock (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1996

تعداد صفحات: 711 [700]

زبان: English

فرمت: djvu - قابل تبدیل به سایر فرمت ها

حجم فایل: 6 مگابایت