دانلود کتاب Practical Aspects of Declarative Languages: Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11–12, 2001 Proceedings

Name: Practical Aspects of Declarative Languages: Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11–12, 2001 Proceedings
Availability: InStock
Author: C. R. Ramakrishnan (auth.)
ISBN: 3540417680, 9783540417682

by C. R. Ramakrishnan (auth.)

عنوان فارسی: جنبه های عملی اعلانی زبان ها: سومین همایش بین المللی، PADL 2001 لاس وگاس، نوادا مارس 11-12، 2001 مقالات
ناشر: Springer-Verlag Berlin Heidelberg
سال: 2001
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 352-360
شابک: 3540417680, 9783540417682
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 3.00 مگابایت

گزارش تخلف

دانلود کتاب

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

جزییات کتاب

This book constitutes the refereed proceedings of the Third International Symposium on Practical Aspects of Declarative Programming, PADL 2001, held in Las Vegas, Nevada, USA in March 2001.The 23 revised full papers presented were carefully reviewed and selected from a total of 40 submissions. Among the topics covered are Mu-calculus, specification languages, Java, Internet programming, VRML, security protocols, database security, authentication protocols, Prolog programming, implementation, constraint programming, visual tracking, and model checking.

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

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

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

نظر دهید

Adding comments has been disabled.

نظرات (0)

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