خرید و دانلود نسخه کامل کتاب IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999

IFM'99: مجموعه مقالات اولین کنفرانس بین المللی روش های رسمی یکپارچه، یورک، 28-29 ژوئن 1999

IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999

نویسنده: He Jifeng (auth.), Keijiro Araki PhD, Andy Galloway PhD, MSc,BSc(Hons), Kenji Taguchi MA (eds.)

ناشر: Springer-Verlag London

سال انتشار: 1999

تعداد صفحات: 476

زبان: English

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

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