دانلود کتاب Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction

تأیید مدولار مدولار: یک رویکرد تصحیح-جبری که از انتزاع گام به گام دفاع می کند

زبان : English

نویسندگان : Markus Müller-Olm (auth.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 1997

ISBN (شابک) : 3540634061, 9783540634065

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 1283

تعداد صفحات : 260[256]

حجم : 2 مگابایت

فرمت کتاب : djvu

قیمت : 36000 تومان