زندگینامه و آثار
K. Rustan M. Leino
در این صفحه ۱ کتاب از کی. روستن ام. لینو را میتوانید ببینید؛ از جمله Program Proofs. نسخهٔ دیجیتال این آثار در کتابِن برای خرید و مطالعهٔ آنلاین موجود است.
از کتابخانهٔ نویسنده
کی. روستن ام. لینو، کالب لینو
