عنوان
پدید آورنده
موضوع
رده
QA76.73.A35 E358 1980
QA76
.
73
.
A35
E358
1980
کتابخانه
محل استقرار
شابک
شابک
3540384154
شابک
9783540384151
شماره کتابشناسی ملی
شماره
b565868
عنوان و نام پديدآور
عنوان اصلي
Towards a formal description of Ada
نام عام مواد
[Book]
نام نخستين پديدآور
edited by D. Bjørner and O.N. Oest.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin ; New York
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
1980
مشخصات ظاهری
نام خاص و کميت اثر
(xii, 630 pages)
فروست
عنوان فروست
Lecture notes in computer science, 98.
یادداشتهای مربوط به مندرجات
متن يادداشت
The DDC Ada compiler development method --; A denotational (static) semantics method for defining Ada context conditions --; A formal semantics definition of sequential Ada --; Parallelism in Ada --; The design of a virtual machine for Ada.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Ada (Computer program language)
موضوع مستند نشده
ADA.
موضوع مستند نشده
Programming languages (Electronic computers) -- Semantics.
رده بندی کنگره
شماره رده
QA76
.
73
.
A35
نشانه اثر
E358
1980
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
edited by D. Bjørner and O.N. Oest.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
D Bjørner
مستند نام اشخاص تاييد نشده
O N Oest
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
