عنوان
پدید آورنده
موضوع
رده
QA76.7 .H377 2016
QA76
.
7
.
H377
2016
کتابخانه
محل استقرار
شابک
شابک
1107150302
شابک
9781107150300
شابک اشتباه
9781316655733 (PDF ebook)
عنوان و نام پديدآور
عنوان اصلي
Practical foundations for programming languages /
نام عام مواد
[Book]
نام نخستين پديدآور
Robert Harper, Carnegie Mellon University.
وضعیت ویراست
وضعيت ويراست
Second edition.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York NY :
نام ناشر، پخش کننده و غيره
Cambridge University Press,
تاریخ نشرو بخش و غیره
2016.
مشخصات ظاهری
نام خاص و کميت اثر
xviii, 494 pages ;
ابعاد
27 cm
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (pages 479-485) and index.
یادداشتهای مربوط به مندرجات
متن يادداشت
Judgments and rules -- Statistics and dynamics -- Total functions -- Finite data types -- Types and propositions -- Infinite data types -- Variable types -- Partiality and recursive types -- Dynamic types -- Subtyping -- Dynamic dispatch -- Control flow -- Symbolic data -- Mutable state -- Parallelism -- Concurrency and distribution -- Modularity -- Equational reasoning.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages and provide the framework for combining and comparing language features. --Amazon.
ویراست دیگر از اثر در قالب دیگر رسانه
شماره استاندارد بين المللي کتاب و موسيقي
9781316655733
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Programming languages (Electronic computers)
موضوع مستند نشده
Programming languages (Electronic computers)
رده بندی دهدهی جهانی
شماره
004.43
رده بندی ديویی
شماره
005
.
13
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
7
نشانه اثر
.
H377
2016
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Harper, Robert,1957-
مبدا اصلی
تاريخ عمليات
20200822150048.0
قواعد فهرست نويسي ( بخش توصيفي )
rda
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
