دانلود کتاب Theoretical Aspects of Computer Software: International Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings

Name: Theoretical Aspects of Computer Software: International Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings
Availability: InStock
Author: Gordon Plotkin (auth.)
ISBN: 3540544151, 9783540544159

by Gordon Plotkin (auth.)

عنوان فارسی: جنبه های نظری نرم افزار کامپیوتر: کنفرانس بین المللی TACS '91 Sendai، ژاپن، 24-27 سپتامبر 1991 مجموعه مقالات
ناشر: Springer-Verlag Berlin Heidelberg
سال: 1991
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 776-783
شابک: 3540544151, 9783540544159
نوع فایل: DJVU دانلود نرم افزار مطالعه
حجم: 6.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

TACS'91 is the first International Conference on Theoretical Aspects of Computer Science held at Tohoku University, Japan, in September 1991. This volume contains 37 papers and an abstract for the talks presented at the conference. TACS'91 focused on theoretical foundations of programming, and theoretical aspects of the design, analysis and implementation of programming languages and systems. The following range of topics is covered: logic, proof, specification and semantics of programs and languages; theories and models of concurrent, parallel and distributed computation; constructive logic, category theory, and type theory in computer science; theory-based systems for specifying, synthesizing, transforming, testing, and verifying software.

گزارش اشکال ⚠