دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA 2024, Proceedings, Part I
دانلود کتاب اعمال اعمال برنامه های رسمی ، تأیید و اعتبار سنجی. REOCAS COLLOQUIUM به افتخار Rocco de Nicola: دوازدهمین سمپوزیوم بین المللی ، ایزولا 2024 ، مجموعه مقالات ، قسمت اول
مشخصات کتاب
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA 2024, Proceedings, Part I
ویرایش: [1, 1 ed.]
نویسندگان: Tiziana Margaria. Bernhard Steffen
سری: International Symposium on Leveraging Applications of Formal Methods, Lecture Notes in Computer Science, Volume 15219
ISBN (شابک) : 3031737083, 9783031737091
ناشر: Springer; Springer Nature
سال نشر: 2024
تعداد صفحات: 442
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 30 Mb
قیمت کتاب (تومان) : 76,000
در صورت تبدیل فایل کتاب Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA 2024, Proceedings, Part I به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اعمال اعمال برنامه های رسمی ، تأیید و اعتبار سنجی. REOCAS COLLOQUIUM به افتخار Rocco de Nicola: دوازدهمین سمپوزیوم بین المللی ، ایزولا 2024 ، مجموعه مقالات ، قسمت اول نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Marine
