دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Abstract Software Specifications: 1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings
دانلود کتاب مشخصات نرم افزار چکیده: 1979 دانشکده زمستانی کپنهاگ 22 ژانویه - 2 فوریه 1979 مجموعه مقالات
مشخصات کتاب
Abstract Software Specifications: 1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings
ویرایش: 1 نویسندگان: Heinz Zemanek (auth.), Dines Bjøorner (eds.) سری: Lecture Notes in Computer Science 86 ISBN (شابک) : 3540100075, 9783540100072 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1980 تعداد صفحات: 575 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 38,000
کلمات کلیدی مربوط به کتاب مشخصات نرم افزار چکیده: 1979 دانشکده زمستانی کپنهاگ 22 ژانویه - 2 فوریه 1979 مجموعه مقالات: مهندسی نرم افزار
در صورت تبدیل فایل کتاب Abstract Software Specifications: 1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مشخصات نرم افزار چکیده: 1979 دانشکده زمستانی کپنهاگ 22 ژانویه - 2 فوریه 1979 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Abstract Architecture....Pages 1-42
Foundations of denotational semantics....Pages 43-99
Models of programming language concepts....Pages 100-143
Formalization of data base models....Pages 144-215
Experiments in block-structured GOTO language modeling: — EXITs versus continuations....Pages 216-247
An introduction to data algebras....Pages 248-272
Time sequences as a tool for describing program behaviour....Pages 273-290
The semantics of clear, a specification language....Pages 292-332
An example of hierarchical program specification....Pages 333-353
Modular program construction using abstractions....Pages 354-389
On the structure of application programs....Pages 390-438
Abstract objects as abstract data types....Pages 439-450
Design and analysis of highly parallel and distributed systems....Pages 451-503
On the semantics of fair parallelism....Pages 504-526
Dijkstra's predicate transformers and smyth's powerdomains....Pages 527-553
Banquet talk....Pages 554-563
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Art Of Seeing: A Creative Approach To Photography
