دانلود کتاب Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

Name: Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers
Availability: InStock
Author: Igor V. Pottosin (auth.)
ISBN: 354043075X, 9783540430759

by Igor V. Pottosin (auth.)

عنوان فارسی: دیدگاه سیستم انفورماتیک: کنفرانس بین المللی 4 یادبود آندره ارشوف، PSI 2001 Akademgorodok، نووسیبیرسک روسیه 02-6 ژوئیه، 2001 تجدید نظر مقالات
ناشر: Springer-Verlag Berlin Heidelberg
سال: 2001
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 550-560
شابک: 354043075X, 9783540430759
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 6.00 مگابایت

گزارش تخلف

دانلود کتاب

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

جزییات کتاب

This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001.The 50 revised papers presented together with 2 invited memorial papers devoted to the work of Andrei Ershov were carefully selected during 2 rounds of reviewing and improvement. The book offers topical sections on computing and algorithms, logical methods, verification, program transformation and synthesis, semantics and types, processes and concurrency, UML specification, Petri nets, testing, software construction, data and knowledge bases, logic programming, constraint programming, program analysis, and language implementation.

کتاب های مرتبط

این کتاب رو مطالعه کردید؟ نظر شما چیست؟

برای ارسال نظر، لطفا وارد شوید.

نظر دهید

* فیلدهای ستاره دار الزامی است.

1000

ورودی های من را در نظرهای بعدی به خاطر بسپار.

نظرات (0)

هنوز نظری داده نشده است. شما اولین باشید!