advocating
تأیید کامپایلر ماژولار: یک رویکرد جبری اصلاحی که از انتزاع گام به گام حمایت می کند
دانلود کتاب Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (به فارسی: تأیید کامپایلر ماژولار: یک رویکرد جبری اصلاحی که از انتزاع گام به گام حمایت می کند) نوشته شده توسط «Markus Müller-Olm (auth.)» اطلاعات کتاب تأیید کامپایلر ماژولار: یک رویکرد جبری اصلاحی که از انتزاع گام به گام حمایت می کند موضوع اصلی: جبر نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Markus Müller-Olm (auth.) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1997 تعداد صفحه: 260 حجم کتاب: 2 مگابایت کد کتاب: 3540634061 , 9783540634065 نوبت چاپ: 1 توضیحات کتاب تأیید کامپایلر…
لینوس پاولینگ: پیشرفت علم، حمایت از صلح (کتاب های تجارت علمی برجسته برای دانش آموزان K-12 (جوایز))
دانلود کتاب Linus Pauling: Advancing Science, Advocating Peace (Outstanding Science Trade Books for Students K-12 (Awards)) (به فارسی: لینوس پاولینگ: پیشرفت علم، حمایت از صلح (کتاب های تجارت علمی برجسته برای دانش آموزان K-12 (جوایز))) نوشته شده توسط «Naomi Pasachoff» اطلاعات کتاب لینوس پاولینگ: پیشرفت علم، حمایت از صلح (کتاب های تجارت علمی برجسته برای دانش آموزان K-12 (جوایز)) موضوع اصلی: بیوگرافی و زندگی نامه نوع: کتاب الکترونیکی ناشر: Enslow Publishers نویسنده: Naomi Pasachoff زبان: english فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها) سال انتشار: 2004 تعداد صفحه: 128 / 136 حجم فایل: 9.86 مگابایت کد کتاب: 0766021300…