• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه

عنوان
ANNA, a language for annotating Ada programs :

پدید آورنده
David C. Luckham ... [et al.].

موضوع
Ada (Computer program language),ANNA (Computer program language)

رده
QA76
.
73
.
A54
A56
1987

کتابخانه
مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی

محل استقرار
استان: قم ـ شهر: قم

مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی

تماس با کتابخانه : 32910706-025

شابک

شابک
0387179801 (U.S. : pbk.)
شابک
3540179801
شابک
9780387179803 (U.S. : pbk.)
شابک
9783540179801

شماره کتابشناسی ملی

شماره
dltt

عنوان و نام پديدآور

عنوان اصلي
ANNA, a language for annotating Ada programs :
نام عام مواد
[Book]
ساير اطلاعات عنواني
reference manual /
نام نخستين پديدآور
David C. Luckham ... [et al.].

وضعیت نشر و پخش و غیره

محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Springer-Verlag,
تاریخ نشرو بخش و غیره
c1987.

مشخصات ظاهری

نام خاص و کميت اثر
v, 143 p. ;
ابعاد
24 cm.

فروست

عنوان فروست
Lecture notes in computer science ;
مشخصه جلد
260.

يادداشت کلی

متن يادداشت
Includes index.
متن يادداشت
Spine title: ANNA reference manual.

یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر

متن يادداشت
Bibliography: p. [139]-140.

یادداشتهای مربوط به نیازمندی های سیستم (منابع الکترونیک)و جزئیات فنی

متن يادداشت
Mode of access: World Wide Web.

موضوع (اسم عام یاعبارت اسمی عام)

موضوع مستند نشده
Ada (Computer program language)
موضوع مستند نشده
ANNA (Computer program language)

رده بندی ديویی

شماره
005
.
13
ويراست
19

رده بندی کنگره

شماره رده
QA76
.
73
.
A54
نشانه اثر
A56
1987

نام شخص - (مسئولیت معنوی برابر )

مستند نام اشخاص تاييد نشده
Luckham, David C.

مبدا اصلی

تاريخ عمليات
20140613190015.0

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

نام الکترونيکي
 مطالعه متن کتاب 

اطلاعات رکورد کتابشناسی

نوع ماده
[Book]

اطلاعات دسترسی رکورد

تكميل شده
Y

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال