دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.] نویسندگان: Jagadish Suryadevara, Cristina Seceleanu, Frédéric Mallet, Paul Pettersson (auth.), Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti (eds.) سری: Lecture Notes in Computer Science 8137 ISBN (شابک) : 9783642405600, 9783642405617 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 321 [334] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 Mb
در صورت تبدیل فایل کتاب Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مهندسی نرم افزار و روش های رسمی: یازدهمین کنفرانس بین المللی ، SEFM 2013 ، مادرید ، اسپانیا ، 25-27 سپتامبر 2013. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری یازدهمین کنفرانس بینالمللی مهندسی نرمافزار و روشهای رسمی، SEFM 2013، در مادرید، اسپانیا، در سپتامبر 2013 است. آنها در بخش موضوعی در مورد سیستم های بلادرنگ، تأیید، انواع و استنتاج، تجزیه و تحلیل استاتیک، آزمایش و تأیید زمان اجرا، و سنتز و تبدیل سازماندهی شده اند.
This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.