دانلود کتاب 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: مشخصات رسمی و توسعه در 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
نام کتاب : 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
عنوان ترجمه شده به فارسی : ZB 2002: مشخصات رسمی و توسعه در Z و B: دومین کنفرانس بین المللی کاربران B و Z گرنوبل، فرانسه، 23 تا 25 ژانویه، 2002 مجموعه مقالات
سری : Lecture Notes in Computer Science 2272
نویسندگان : Eric Hehner, Ioannis T. Kassios (auth.), Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2002
تعداد صفحات : 546
ISBN (شابک) : 3540431667 , 9783540431664
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 4 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات داوری دومین کنفرانس بین المللی کاربران 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.
پست ها تصادفی