دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings
دانلود کتاب ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: دومین کارگاه بین‌المللی، TACAS '96 Passau، آلمان، 27-29 مارس 1996 مجموعه مقالات
مشخصات کتاب
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings
ویرایش: [1 ed.] نویسندگان: Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.) سری: Lecture Notes in Computer Science 1055 ISBN (شابک) : 3540610421, 9783540610427 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1996 تعداد صفحات: 443 [446] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 50,000
در صورت تبدیل فایل کتاب Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: دومین کارگاه بین‌المللی، TACAS '96 Passau، آلمان، 27-29 مارس 1996 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Hunchback of Notre Dame
دانلود کتاب International Taxation: The Indian Perspective
دانلود کتاب Neutrality and Foreign Military Sales: Military Production and Sales Restrictions in Austria, Finland, Sweden, and Switzerland
