دانلود کتاب Edinburgh LCF: A Mechanised Logic of Computation

معرفی کتاب Edinburgh LCF: A Mechanised Logic of Computation

کتاب Edinburgh LCF: A Mechanised Logic of Computation نوشته Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth (auth.) یکی از آثار مهم در حوزه مربوطه محسوب می‌شود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقه‌مندان به این موضوع بسیار مناسب می‌باشد.

درباره کتاب Edinburgh LCF: A Mechanised Logic of Computation

این اثر با بهره‌گیری از تجربیات و دانش نویسنده، مطالب جامع و کاربردی را در اختیار خوانندگان قرار می‌دهد.

دانلود کتاب Edinburgh LCF: A Mechanised Logic of Computation را از طریق سایت سایبر یونی تجربه کنید.