دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب ZB 2002:Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings
دانلود کتاب ZB 2002: مشخصات رسمی و توسعه در Z و B: دومین کنفرانس بین المللی کاربران B و Z گرنوبل، فرانسه، 23 تا 25 ژانویه، 2002 مجموعه مقالات
مشخصات کتاب
ZB 2002:Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings
ویرایش: [1 ed.] نویسندگان: Eric Hehner, Ioannis T. Kassios (auth.), Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson (eds.) سری: Lecture Notes in Computer Science 2272 ISBN (شابک) : 3540431667, 9783540431664 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2002 تعداد صفحات: 541 [546] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 28,000
در صورت تبدیل فایل کتاب ZB 2002:Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ZB 2002: مشخصات رسمی و توسعه در Z و B: دومین کنفرانس بین المللی کاربران B و Z گرنوبل، فرانسه، 23 تا 25 ژانویه، 2002 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ZB 2002: مشخصات رسمی و توسعه در Z و B: دومین کنفرانس بین المللی کاربران B و Z گرنوبل، فرانسه، 23 تا 25 ژانویه، 2002 مجموعه مقالات
این کتاب مجموعه مقالات داوری دومین کنفرانس بین المللی کاربران B و Z، ZB 2002 است که در ژانویه 2002 در گرنوبل، فرانسه برگزار شد. 24 مقاله ارائه شده به همراه سه مشارکت دعوت شده به دقت بررسی و برای گنجاندن در کتاب انتخاب شدند. این کتاب پیشرفت های اخیر را برای مفهوم مشخصات رسمی Z و برای روش B مستند می کند. دامنه کامل پوشش داده شده است، از مسائل بنیادی و نظری گرفته تا کاربردهای پیشرفته، ابزارها و مطالعات موردی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the Second International Conference of B and Z Users, ZB 2002, held in Grenoble, France in January 2002. The 24 papers presented together with three invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope is covered, ranging from foundational and theoretical issues to advanced applications, tools, and case studies.
