Deductive Software Verification – The KeY Book: From Theory to Practice  
کتابخانه

کتابخانه

در صورتی که در دریافت فایل با مشکلی مواجه شدید، لطفاً از طریق ایمیل ( ketabfarsi01@gmail.com ) با ما در تماس باشید؛ در اسرع وقت پیگیری خواهد شد.

Deductive Software Verification – The KeY Book: From Theory to Practice


Deductive Software Verification – The KeY Book: From Theory to Practice

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich (eds.)

  انتشار : ۱۵ فروردین ۱۳۹۶               تعداد بازدید : 111
http://kia-ir.ir

کتابی که می‌خواهید در سایت نیست؟ نگران نباشید! اگر کتاب یا فایلی که دنبال می‌کنید در سایت موجود نیست، کافیست به ما پیام دهید. ایمیل ما: [ketabfarsi01@gmail.com] پس از دریافت پیام شما، ما فایل را اضافه می‌کنیم.

فید خبر خوان    نقشه سایت    تماس با ما