دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings
دانلود کتاب ZUM '95: نماد مشخصات رسمی Z: نهمین کنفرانس بین المللی کاربران Z Limerick، ایرلند، 7 تا 9 سپتامبر 1995 مجموعه مقالات
مشخصات کتاب
ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings
ویرایش: [1 ed.] نویسندگان: David Lorge Parnas (auth.), Jonathan P. Bowen, Michael G. Hinchey (eds.) سری: Lecture Notes in Computer Science 967 ISBN (شابک) : 3540602712, 9783540602712 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1995 تعداد صفحات: 583 [566] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 Mb
قیمت کتاب (تومان) : 87,000
در صورت تبدیل فایل کتاب ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ZUM '95: نماد مشخصات رسمی Z: نهمین کنفرانس بین المللی کاربران Z Limerick، ایرلند، 7 تا 9 سپتامبر 1995 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ZUM '95: نماد مشخصات رسمی Z: نهمین کنفرانس بین المللی کاربران Z Limerick، ایرلند، 7 تا 9 سپتامبر 1995 مجموعه مقالات
این کتاب مجموعه مقالات نهمین کنفرانس بین المللی کاربران Z،
ZUM '95، برگزار شده در لیمریک، ایرلند در سپتامبر 1995 را
ارائه می دهد.
کتاب شامل 34 مقاله با دقت انتخاب شده در مورد Z، با استفاده از
Z، کاربردهای Z، اثبات، آزمایش، استفاده صنعتی، شی گرایی،
انیمیشن مشخصات، ادغام روش، و آموزش روش های رسمی. جالب توجه
خاص گنجاندن یک کتابنامه مشروح Z است که 544 مدخل را فهرست می
کند. با تمرکز بر روی Z، که تا حد زیادی متداولترین «روش رسمی»
در صنعت و کاربرد است، حجم آن برای کل جامعه روشهای رسمی
ارتباط بالایی دارد.
توضیحاتی درمورد کتاب به خارجی
This book presents the proceedings of the 9th International
Conference of Z Users, ZUM '95, held in Limerick, Ireland in
September 1995.
The book contains 34 carefully selected papers on Z, using Z,
applications of Z, proof, testing, industrial usage, object
orientation, animation of specification, method integration,
and teaching formal methods. Of particular interest is the
inclusion of an annotated Z bibliography listing 544 entries.
While focussing on Z, by far the most commonly used "formal
method" both in industry and application, the volume is of
high relevance for the whole formal methods community.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Five-Minute Activities for Young Learners (Cambridge Handbooks for Language Teachers)
دانلود کتاب Fodor’s Italy 2014
دانلود کتاب Volume 12: Al Manakh
دانلود کتاب When Bodies Remember: Experiences and Politics of AIDS in South Africa
