ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Software Development With Z: A Practical Approach to Formal Methods in Software Engineering

دانلود کتاب توسعه نرم افزار با Z: رویکردی عملی به روش های رسمی در مهندسی نرم افزار

Software Development With Z: A Practical Approach to Formal Methods in Software Engineering

مشخصات کتاب

Software Development With Z: A Practical Approach to Formal Methods in Software Engineering

دسته بندی: فن آوری
ویرایش:  
نویسندگان:   
سری: International Computer Science Series 
ISBN (شابک) : 0201627574, 9780201627572 
ناشر: Addison-Wesley Pub (Sd) 
سال نشر: 1992 
تعداد صفحات: 375 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

قیمت کتاب (تومان) : 72,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 11


در صورت تبدیل فایل کتاب Software Development With Z: A Practical Approach to Formal Methods in Software Engineering به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب توسعه نرم افزار با Z: رویکردی عملی به روش های رسمی در مهندسی نرم افزار نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب توسعه نرم افزار با Z: رویکردی عملی به روش های رسمی در مهندسی نرم افزار

این کتاب یک راهنمای آموزشی بسیار کاربردی برای زبان مشخصات Z و نقش آن در توسعه نرم افزار است. این کتاب نشان می دهد که چگونه می توان رویه ها و تصمیمات آشنا را با استفاده از ریاضیات دقیق کرد. با شروع یک مطالعه موردی، این کتاب به گونه‌ای طراحی شده است که تا حد امکان مستقل باشد و خواننده را از طریق مفاهیم اساسی در منطق و نظریه مجموعه‌ها و فرمول‌بندی ایده‌های دقیق در مورد سیستم‌های نرم‌افزاری ببرد و رویکردی رسمی را با نمونه‌های عملی استفاده از آن در توسعه نرم افزار.


توضیحاتی درمورد کتاب به خارجی

This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possible, taking the reader through the basic concepts in logic and set theory formulating precise ideas about software systems, and combines a formal approach with practical examples of its use in software development.





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد