دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings
دانلود کتاب سمپوزیوم بین المللی برنامه ریزی: 5th Colloquium Turin، 6-8 آوریل 1982 مقالات
مشخصات کتاب
International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Marco Bellia, Pierpaolo Degano, Giorgio Levi (auth.), Mariangiola Dezani-Ciancaglini, Ugo Montanari (eds.) سری: Lecture Notes in Computer Science 137 ISBN (شابک) : 3540114947, 9780387114941 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1982 تعداد صفحات: 413 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 30,000
کلمات کلیدی مربوط به کتاب سمپوزیوم بین المللی برنامه ریزی: 5th Colloquium Turin، 6-8 آوریل 1982 مقالات: منطق و معانی برنامه ها، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سمپوزیوم بین المللی برنامه ریزی: 5th Colloquium Turin، 6-8 آوریل 1982 مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Applicative communicating processes in first order logic....Pages 1-14
A machine-level semantics for nondeterministic, parallel programs....Pages 15-25
A formalized proof system for total correctness of while programs....Pages 26-36
Automatic program transformation viewed as theorem proving....Pages 37-46
An enlarged definition and complete axiomatization of observational congruence of finite processes....Pages 47-62
Perluette : A compilers producing system using abstract data types....Pages 63-77
A weakest precondition semantics for communicating processes....Pages 78-90
From abstract model to efficient compilation of patterns....Pages 91-104
Computer-based synthesis of logic programs....Pages 105-115
On some syntactic equivalences of program schemas and related transformations....Pages 116-131
Procedures and concurrency: A study in proof....Pages 132-163
Another characterization of weakest preconditions....Pages 164-177
Powerdomains and nondeterministic recursive definitions....Pages 178-193
Optimizing for a multiprocessor: Balancing synchronization costs against parallelism in straight-line code....Pages 194-211
The simple semantics for Coppo-Dezani-Sallé types....Pages 212-226
Proving the correctness of implementations of shared data abstractions....Pages 227-241
Specification of communicating processes and process implementation correctness....Pages 242-256
A system for reasoning within and about algebraic specifications....Pages 257-282
Tuning algebraic specifications by type merging....Pages 283-304
Communicating agents for applicative concurrent programming....Pages 305-322
On effective computations of non-deterministic schemes....Pages 323-336
Specification and verification of concurrent systems in CESAR....Pages 337-351
Proof of separability A verification technique for a class of security kernels....Pages 352-367
A method for program synthesis....Pages 368-380
The use of transformations to implement an algorithm....Pages 381-406
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Home Workshop Explosives
دانلود کتاب Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings
دانلود کتاب Advances in Web-Age Information Management: Third International Conference, WAIM 2002 Beijing, China, August 11–13, 2002 Proceedings
دانلود کتاب Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers
دانلود کتاب Universal Access Theoretical Perspectives, Practice, and Experience: 7th ERCIM International Workshop on User Interfaces for All, Paris, France, October 24–25, 2002, Revised Papers
دانلود کتاب Automated Deduction – CADE-21: 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings
دانلود کتاب Software Configuration Management: ICSE Workshops SCM 2001 and SCM 2003, Toronto, Canada, May 14–15, 2001 and Portland, OR, USA, May 9–10, 2003. Selected Papers
دانلود کتاب Gesture and Sign Language in Human-Computer Interaction: International Gesture Workshop Bielefeld, Germany, September 17–19, 1997 Proceedings
دانلود کتاب Advances in Visual Computing: 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29-December 1, 2010, Proceedings, Part II
