دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Programming Methodology: 4th Informatik Symposium, IBM Germany Wildbad, September 25–27, 1974
دانلود کتاب روش برنامه نویسی: چهارمین سمپوزیوم انفورماتیک، IBM آلمان Wildbad، 25-27 سپتامبر 1974
مشخصات کتاب
Programming Methodology: 4th Informatik Symposium, IBM Germany Wildbad, September 25–27, 1974
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: H. D. Mills (auth.), Prof. Dr. Clemens E. Hackl (eds.) سری: Lecture Notes in Computer Science 23 ISBN (شابک) : 9783540071310, 3540071318 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1975 تعداد صفحات: 504 زبان: English-German فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 44,000
کلمات کلیدی مربوط به کتاب روش برنامه نویسی: چهارمین سمپوزیوم انفورماتیک، IBM آلمان Wildbad، 25-27 سپتامبر 1974: علوم کامپیوتر، عمومی
در صورت تبدیل فایل کتاب Programming Methodology: 4th Informatik Symposium, IBM Germany Wildbad, September 25–27, 1974 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش برنامه نویسی: چهارمین سمپوزیوم انفورماتیک، IBM آلمان Wildbad، 25-27 سپتامبر 1974 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
On the development of systems of men and machines....Pages 1-10
A new look at the program development process....Pages 11-37
Organizing for structured programming....Pages 38-86
The reliability of programming systems....Pages 87-113
Fehleranalyse und Fehlerursachen in Systemprogrammen....Pages 114-160
APLGOL a structured programming language for APL....Pages 161-191
Systemprogrammierung aus der Sicht der Universitaet....Pages 192-202
Systemprogrammiersprachen und strukturiertes Programmieren....Pages 203-224
Software engineering or methods for the multi-person construction of multi-version programs....Pages 225-235
Knowledge and reasoning in program synthesis....Pages 236-277
A new approach to program testing....Pages 278-290
Interprocedural analysis and the information derived by it....Pages 291-321
Neue Verfahren zur Optimisierung und Parallflisierung von Programmen....Pages 323-346
Automatic programming....Pages 347-361
Nonprocedural programming....Pages 362-385
Formal definition in program development....Pages 387-443
Programmierte Strukturen....Pages 444-465
Axiomatisierung von Programmiersprachen und ihre Grenzen....Pages 466-476
Formalization, history, present, and future....Pages 477-501
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Multi-Agent for Mass User Support: International Workshop, MAMUS 2003, Acapulco, Mexico, August 10, 2003, Revised and Invited Papers
دانلود کتاب Proceedings 10th international congress of world equine veterinary association /Сборник материалов 10-го всемирного конского конгресса
دانلود کتاب Information Security: 7th International Conference, ISC 2004, Palo Alto, CA, USA, September 27-29, 2004. Proceedings
دانلود کتاب Advances in Computer Graphics and Computer Vision: International Conferences VISAPP and GRAPP 2006, SetГєbal, Portugal, February 25-28, 2006, Revised Selected ... in Computer and Information Science)
دانلود کتاب Computing Methods in Applied Sciences: Second International Symposium, December 15-19, 1975 (English and French Edition)
دانلود کتاب Deeper Insights into the Illuminati Forumula
دانلود کتاب Recent Advances In Elliptic And Parabolic Problems: Proceedings of the International Conference, Hsinchu, Taiwan 16 - 20 February 2004
دانلود کتاب Topology in ordered phases: proceedings of the 1st International Symposium on TOP 2005, Sapporo, Japan, 7 - 10 March, 2005
دانلود کتاب Data Integration in the Life Sciences: 5th International Workshop, DILS 2008, Evry, France, June 25-27, 2008. Proceedings
