دانلود کتاب Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Name: Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers
Availability: InStock
Author: Tony Hoare (auth.)
ISBN: 3540208135, 9783540208136

by Tony Hoare (auth.)

عنوان فارسی: دیدگاه سیستم انفورماتیک: کنفرانس بین المللی 5 یادبود آندره ارشوف، PSI 2003، Akademgorodok، نووسیبیرسک روسیه 09-12 ژوئیه، 2003. تجدید نظر مقالات
ناشر: Springer-Verlag Berlin Heidelberg
سال: 2003
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 572-586
شابک: 3540208135, 9783540208136
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 7.00 مگابایت

گزارش تخلف

دانلود کتاب

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

جزییات کتاب

This book constitutes the thoroughly refereed postconference proceedings of the 5th International Andrei Ershov Memorial Conference, PSI 2003, held in Akademgorodok, Novosibirsk, Russia in July 2003.The 55 revised full papers presented were carefully reviewed and selected from 110 submissions during two rounds of evaluation and improvement. The papers are organized in topical sections on programming, software engineering, software education, program synthesis and transformation, graphical interfaces, partial evaluation and supercompilation, verification, logic and types, concurrent and distributed systems, reactive systems, program specification, verification and model checking, constraint programming, documentation and testing, databases, and natural language processing.

گزارش اشکال ⚠