مشخصات کتاب

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 

در صورت تبدیل فایل کتاب 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.

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

کتاب های تصادفی

دانلود کتاب La cristologia di San Tommaso d'Aquino. Origine, dottrine principali, attualità

دانلود کتاب NAFTA Revisited: Achievements and Challenges (Institute for International Economics) (Institute for International Economics)

دانلود کتاب IF ROME HADN'T FALLEN: How the Survival of Rome Might Have Changed World History

دانلود کتاب The Literature of the United States

دانلود کتاب 得到精选课1：职业、未来与人生思考（套装四册）