دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Program Semantics, Specification and Verification: Theory and Applications
دانلود کتاب معناشناسی برنامه ، مشخصات و تأیید صحت: نظریه و کاربردها
مشخصات کتاب
Program Semantics, Specification and Verification: Theory and Applications
ویرایش: نویسندگان: Nepomnyaschy Valery , Sokolov Valery , 8th International Computer Science Symposium in Russia سری: ناشر: سال نشر: 0 تعداد صفحات: 87 زبان: Russian فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 58,000
در صورت تبدیل فایل کتاب Program Semantics, Specification and Verification: Theory and Applications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب معناشناسی برنامه ، مشخصات و تأیید صحت: نظریه و کاربردها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب معناشناسی برنامه ، مشخصات و تأیید صحت: نظریه و کاربردها
کارگاه معنایی برنامه، مشخصات و تأیید: تئوری و کاربردها رویداد پیشرو در روسیه در زمینه به کارگیری روش های رسمی در تجزیه و تحلیل نرم افزار است. مجموعه مقالات چهارمین کارگاه آموزشی فرمالیسم های معنایی برنامه، مدل های رسمی و تایید، برنامه نویسی و زبان های مشخصات و غیره.
توضیحاتی درمورد کتاب به خارجی
Workshop on Program Semantics, Specification and Verification: Theory and Applications is the leading event in Russia in the field of applying of the formal methods to software analysis. Proceedings of the fourth workshop dedicated to formalisms for program semantics, formal models and verification, programming and specification languages, etc.
