دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب TAPSOFT'93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE Orsay, France, April 13–17, 1993 Proceedings
دانلود کتاب TAPSOFT'93: تئوری و عمل توسعه نرم افزار: چهارمین کنفرانس مشترک بین المللی CAAP/FASE Orsay، فرانسه، 13-17 آوریل، 1993 مجموعه مقالات
مشخصات کتاب
TAPSOFT'93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE Orsay, France, April 13–17, 1993 Proceedings
ویرایش: [1 ed.] نویسندگان: John V. Guttag (auth.), M. -C. Gaudel, J. -P. Jouannaud (eds.) سری: Lecture Notes in Computer Science 668 ISBN (شابک) : 3540566104, 9783540566106 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1993 تعداد صفحات: 768 [774] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 Mb
قیمت کتاب (تومان) : 47,000
در صورت تبدیل فایل کتاب TAPSOFT'93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE Orsay, France, April 13–17, 1993 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب TAPSOFT'93: تئوری و عمل توسعه نرم افزار: چهارمین کنفرانس مشترک بین المللی CAAP/FASE Orsay، فرانسه، 13-17 آوریل، 1993 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب TAPSOFT'93: تئوری و عمل توسعه نرم افزار: چهارمین کنفرانس مشترک بین المللی CAAP/FASE Orsay، فرانسه، 13-17 آوریل، 1993 مجموعه مقالات
این جلد شامل مجموعه مقالات چهارمین کنفرانس مشترک بین المللی تئوری و عمل توسعه نرم افزار، TAPSOFT '93 است. از اولین کنفرانس در سال 1985، هدف این کنفرانس ها گرد هم آوردن دانشمندان نظری کامپیوتر و محققان در مهندسی نرم افزار با هدف بحث در مورد چگونگی استفاده مفید روش های رسمی در توسعه نرم افزار بوده است. TAPSOFT '93 از سه بخش تشکیل شده است: یک سمینار پیشرفته، کنفرانس در مورد درختان در جبر و برنامه نویسی (CAAP)، و کنفرانس در مورد رویکردهای رسمی مهندسی نرم افزار (FASE). سمینار پیشرفته شامل چهار نظرسنجی دعوت شده و چهار کنفرانس دعوت شده است. مقالات انتخاب شده برای CAAP در هفت جلسه سازماندهی می شوند: مشخصات و اثبات، همزمانی، خودکار و شمارش، حل محدودیت ها، بازنویسی، منطق و درختان، تجزیه و تحلیل الگوریتم ها، و یک جلسه مشترک با FASE در استنتاج نوع. مقالات منتخب برای FASE در هشت جلسه ارائه می شوند: مطالعات موردی در طراحی و توسعه رسمی، ماژول های ترکیبی و توسعه، توسعه رسمی، مبانی و تجزیه و تحلیل مشخصات رسمی، تأیید سیستم های همزمان، بررسی مدل، حساب موازی، و یک جلسه مشترک با CAAP در استنتاج نوع.
توضیحاتی درمورد کتاب به خارجی
This volume contains the proceedings of the fourth International Joint Conference on the Theory and Practice of Software Development, TAPSOFT '93. Since the first in 1985, the aim of these conferences has been to bring together theoretical computer scientists and researchers in software engineering with a view to discussing how formal methods can usefully be applied in software development. TAPSOFT '93 consists ofthree parts: an advanced seminar, the Colloquium on Trees in Algebra and Programming (CAAP), and the Colloquium on Formal Approaches of Software Engineering (FASE). The advanced seminar includes four invited surveys and four invited conferences. The selected papers for CAAP are organized in seven sessions: specifications and proofs, concurrency, automata and counting, constraints solving, rewriting, logic and trees, analysis of algorithms, and a common session with FASE on type inference. The selected papers for FASE are presented in eight sessions: case studies in formal design and development, compositionality modules and development, formal development, foundations and analysis of formal specifications, verification of concurrent systems, model checking, parallel calculus, and a common session with CAAP on type inference.
