ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب 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

مشخصات کتاب

Abstract Software Specifications: 1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings

ویرایش: 1 
نویسندگان: ,   
سری: 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 مجموعه مقالات: مهندسی نرم افزار



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 12


در صورت تبدیل فایل کتاب 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




نظرات کاربران