دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings
دانلود کتاب ZB 2005: مشخصات رسمی و توسعه در Z و B: چهارمین کنفرانس بین المللی کاربران B و Z، گیلدفورد، انگلستان، 13-15 آوریل، 2005. مجموعه مقالات
مشخصات کتاب
ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings
ویرایش: [1 ed.] نویسندگان: Cliff B. Jones (auth.), Helen Treharne, Steve King, Martin Henson, Steve Schneider (eds.) سری: Lecture Notes in Computer Science 3455 : Programming and Software Engineering ISBN (شابک) : 3540255591, 9783540255598 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2005 تعداد صفحات: 496 [506] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 Mb
قیمت کتاب (تومان) : 38,000
در صورت تبدیل فایل کتاب ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ZB 2005: مشخصات رسمی و توسعه در Z و B: چهارمین کنفرانس بین المللی کاربران B و Z، گیلدفورد، انگلستان، 13-15 آوریل، 2005. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ZB 2005: مشخصات رسمی و توسعه در Z و B: چهارمین کنفرانس بین المللی کاربران B و Z، گیلدفورد، انگلستان، 13-15 آوریل، 2005. مجموعه مقالات
این کتاب مجموعه مقالات داوری چهارمین کنفرانس بین المللی کاربران Z و B، ZB 2005 است که در گیلدفورد، انگلستان در آوریل 2005 برگزار شد.
25 مقاله کامل اصلاح شده همراه با چکیده های مبسوط ارائه شده است. 2 مقاله دعوت شده با دقت بررسی و برای درج در کتاب انتخاب شدند. این مقالات، پیشرفت‌های اخیر را برای نشان‌گذاری مشخصات رسمی Z و روش B، از مسائل بنیادی، نظری، و روش‌شناختی تا برنامه‌های کاربردی، ابزارها و مطالعات موردی پیشرفته را مستند می‌کنند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, UK in April 2005.
The 25 revised full papers presented together with extended abstracts of 2 invited papers were carefully reviewed and selected for inclusion in the book. The papers document the recent advances for the Z formal specification notation and for the B method, ranging from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.
نظرات کاربران
کتاب های تصادفی
