دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings
دانلود کتاب TAPSOFT '95: تئوری و عمل توسعه نرم افزار: ششمین کنفرانس مشترک بین المللی CAAP/FASE آرهوس، دانمارک، 22-26 مه 1995 مجموعه مقالات
مشخصات کتاب
TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings
ویرایش: [1 ed.] نویسندگان: Hartmut Ehrig, Bernd Mahr (auth.), Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach (eds.) سری: Lecture Notes in Computer Science 915 ISBN (شابک) : 3540592938, 9783540592938 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1995 تعداد صفحات: 820 [826] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 Mb
قیمت کتاب (تومان) : 37,000
در صورت تبدیل فایل کتاب TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب TAPSOFT '95: تئوری و عمل توسعه نرم افزار: ششمین کنفرانس مشترک بین المللی CAAP/FASE آرهوس، دانمارک، 22-26 مه 1995 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب TAPSOFT '95: تئوری و عمل توسعه نرم افزار: ششمین کنفرانس مشترک بین المللی CAAP/FASE آرهوس، دانمارک، 22-26 مه 1995 مجموعه مقالات
این جلد مجموعه مقالات ششمین کنفرانس مشترک بین المللی تئوری و
عمل مهندسی نرم افزار، TAPSOFT '95، برگزار شده در آرهوس،
دانمارک در ماه می 1995 را ارائه می دهد. TAPSOFT '95 دهمین
سالگرد این مجموعه کنفرانس را جشن می گیرد که در برلین آغاز شد.
در سال 1985 برای گرد هم آوردن دانشمندان نظری کامپیوتر و
مهندسان نرم افزار (محققان و متخصصان) با هدف بحث در مورد
چگونگی استفاده مفید از روش های رسمی در توسعه نرم افزار.
این جلد شامل هفت مقاله دعوت شده است که یکی از آنها توسط
Vaugham Pratt در مورد اخیراً باگ در تراشه پنتیوم فاش شد و 44
مقاله کامل اصلاح شده از مجموع 147 ارسال انتخاب شدند. علاوه بر
این، اقدامات TAPSOFT '95 شامل 10 توصیف ابزار است.
توضیحاتی درمورد کتاب به خارجی
This volume presents the proceedings of the Sixth
International Joint Conference on the Theory and Practice of
Software Engineering, TAPSOFT '95, held in Aarhus, Denmark in
May 1995. TAPSOFT '95 celebrates the 10th anniversary of this
conference series started in Berlin in 1985 to bring together
theoretical computer scientists and software engineers
(researchers and practitioners) with a view to discussing how
formal methods can usefully be applied in software
development.
The volume contains seven invited papers, among them one by
Vaugham Pratt on the recently revealed bug in the Pentium
chip, and 44 revised full papers selected from a total of 147
submissions. In addition the TAPSOFT '95 proceedings contains
10 tool descriptions.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Practical Linux Infrastructure
دانلود کتاب Die Pflege des Brandverletzten
دانلود کتاب Low-Carb in 15 Minuten: 40 ''leichte'' Schnellrezepte zum Genießen
دانلود کتاب Generalized Littlewood-Richardson coefficients for branching rules of GL(N) and extremal weight crystals
