دانلود کتاب Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
کتاب تأیید: تئوری و عمل: مقالات تقدیم به زوهر ماننا به مناسبت شصت و چهارمین سالگرد تولد او نسخه زبان اصلی
دانلود کتاب تأیید: تئوری و عمل: مقالات تقدیم به زوهر ماننا به مناسبت شصت و چهارمین سالگرد تولد او بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
نام کتاب : Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
ویرایش : 1 ed.
عنوان ترجمه شده به فارسی : تأیید: تئوری و عمل: مقالات تقدیم به زوهر ماننا به مناسبت شصت و چهارمین سالگرد تولد او
سری : Lecture Notes in Computer Science 2772
نویسندگان : Nachum Dershowitz (auth.), Nachum Dershowitz (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2004
تعداد صفحات : 788
[280]
ISBN (شابک) : 978-3-540-210 , 978-3-540-399
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 2 Mb
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.