دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
دانلود کتاب استفاده از روشهای رسمی: مقاله های اختصاص داده شده به جیم وودکاک به مناسبت بازنشستگی وی
مشخصات کتاب
The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
ویرایش: [2024 ed.]
نویسندگان: Simon Foster (editor). Augusto Sampaio (editor)
سری: Lecture Notes in Computer Science; 14900
ISBN (شابک) : 3031671139, 9783031671135
ناشر: Springer
سال نشر: 2024
تعداد صفحات: 389
[388]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 22 Mb
قیمت کتاب (تومان) : 89,000
در صورت تبدیل فایل کتاب The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب استفاده از روشهای رسمی: مقاله های اختصاص داده شده به جیم وودکاک به مناسبت بازنشستگی وی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Multiphase Flow Dynamics 2: Thermal and Mechanical Interactions , 2nd Edition
دانلود کتاب 27 Mayıs ve Yön Hareketinin Sınıfsal Eleştirisi
دانلود کتاب In the footsteps of the band of brothers: a return to easy company's battlefields with sgt. forrest guth
