دانلود کتاب Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures
| عنوان فارسی | روشهای رسمی برای معماری نرمافزار: سومین مدرسه بینالمللی در روشهای رسمی برای طراحی رایانه، ارتباطات و سیستمهای نرمافزار: معماری نرمافزار، SFM 2003، برتینورو، ایتالیا، 22-27 سپتامبر 2003. سخنرانیهای پیشرفته |
|---|---|
| عنوان اصلی | Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures |
| ویرایش | [1 ed.] |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | David Garlan (auth.), Marco Bernardo, Paola Inverardi (eds.) |
| ISBN | 3540200835, 9783540200833 |
| سال نشر | 2003 |
| زبان | English |
| تعداد صفحات | 289 [293] |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 4 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد