بلیان

چه کسانی این کتاب را می‌خوانند

دانشجوعلاقه‌مند یادگیری
کتابخوان حرفه‌ایلذت مطالعه
نویسندهالهام‌گیری

Computing in Systems Described by Equations (Lecture notes in computer science)

Michael J. O'Donnell (eds.)

قیمت نهایی

۴۴٬۰۰۰ تومان۴۹٬۰۰۰ تومان۱۰٪ تخفیف
  • تخفیف زمان‌دار−۵٬۰۰۰ تومان

۵٬۰۰۰ تومان صرفه‌جویی نسبت به قیمت اصلی

نسخه اصلی و اورجینال

بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.

تحویل فوری
پرداخت امن
ضمانت فایل
پشتیبانی

مشخصات کتاب

نویسنده
Michael J. O'Donnell (eds.)
ناشر
Springer-Verlag Berlin Heidelberg
سال انتشار
۱۹۷۷
فرمت
DJVU
زبان
انگلیسی
حجم فایل
۸۱۹٫۲ کیلوبایت

دربارهٔ کتاب

Michael J. O'donnell. Programming Languages (electronic Computers) Bibliography: P. [109]-111. Chapter I: Introduction....Pages 1-3 Chapter II: Syntax, semantics and proof theory for equational logic....Pages 4-17 Chapter III: Subtree replacement systems....Pages 18-27 Chapter IV: The confluence property and the Church-Rosser property....Pages 28-39 Chapter V: Termination....Pages 40-53 Chapter VI: Costs of reduction sequences....Pages 54-65 Chapter VII: Schematic definitions of SRSs....Pages 66-71 Chapter VIII: Recursively defined functions....Pages 72-79 Chapter IX: Applications of SRS theory to LISP and lucid....Pages 80-88 Chapter X: Another approach to confluence, termination, optimality....Pages 89-108 "This monograph is an attempt to provide some useful mathematical foundations for the design of interpreters for functional programming languages such as LISP." Preface

کتاب‌های مشابه

Computing in Systems Described by Equations (Lecture notes in computer science)

Computing in Systems Described by Equations (Lecture notes in computer science)

۴۹٬۰۰۰ تومان

Computing in Systems Described by Equations (Lecture notes in computer science)

Computing in Systems Described by Equations (Lecture notes in computer science)

۴۹٬۰۰۰ تومان

Systems of Reductions (Lecture Notes in Computer Science)

Systems of Reductions (Lecture Notes in Computer Science)

۴۹٬۰۰۰ تومان

Systems of Reductions (Lecture Notes in Computer Science)

Systems of Reductions (Lecture Notes in Computer Science)

۴۹٬۰۰۰ تومان

Exercises In Computer Systems Analysis (lecture Notes In Computer Science)

Exercises In Computer Systems Analysis (lecture Notes In Computer Science)

۴۹٬۰۰۰ تومان

Architecture Of Distributed Computer Systems (lecture Notes In Computer Science)

Architecture Of Distributed Computer Systems (lecture Notes In Computer Science)

۴۹٬۰۰۰ تومان

Architecture Of Distributed Computer Systems (lecture Notes In Computer Science)

Architecture Of Distributed Computer Systems (lecture Notes In Computer Science)

۴۹٬۰۰۰ تومان

Exercises In Computer Systems Analysis (lecture Notes In Computer Science)

Exercises In Computer Systems Analysis (lecture Notes In Computer Science)

۴۹٬۰۰۰ تومان

Exercises In Computer Systems Analysis (lecture Notes In Computer Science)

Exercises In Computer Systems Analysis (lecture Notes In Computer Science)

۴۹٬۰۰۰ تومان

Pictorial Information Systems (lecture Notes In Computer Science)

Pictorial Information Systems (lecture Notes In Computer Science)

۴۹٬۰۰۰ تومان

L Systems (Lecture Notes in Computer Science, 15)

L Systems (Lecture Notes in Computer Science, 15)

۴۹٬۰۰۰ تومان

Programming Languages and Systems (Lecture Notes in Computer Science)

Programming Languages and Systems (Lecture Notes in Computer Science)

۴۹٬۰۰۰ تومان

قیمت نهایی

۴۴٬۰۰۰ تومان