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

عنوان
La semantica formale dei linguaggi di programmazione :

پدید آورنده
Glynn Winskel ; edizione italiana a cura di Franco Turini ; premessa di Ugo Montanari e Franco Turini.

موضوع
Elaboratori elettronici-- Linguaggi

رده

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

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

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

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

شابک

شابک
8877506482

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

کد کشور
IT
شماره
b503430

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

عنوان اصلي
La semantica formale dei linguaggi di programmazione :
نام عام مواد
[Book]
ساير اطلاعات عنواني
un'introduzione /
نام نخستين پديدآور
Glynn Winskel ; edizione italiana a cura di Franco Turini ; premessa di Ugo Montanari e Franco Turini.

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

محل نشرو پخش و غیره
Torino :
نام ناشر، پخش کننده و غيره
UTET libreria,
تاریخ نشرو بخش و غیره
1999

مشخصات ظاهری

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

يادداشت کلی

متن يادداشت
Trad. di Paolo Baldan, Andrea Bracciali, Alessandra Raffaetà.

عنوان قراردادی

عنوان قراردادي
The formal semantic of programming languages.

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

موضوع مستند نشده
Elaboratori elettronici-- Linguaggi

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

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

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

مستند نام اشخاص تاييد نشده
Winskel, Glynn

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

مستند نام اشخاص تاييد نشده
Montanari, Ugo,(1943- )
مستند نام اشخاص تاييد نشده
Turini, Franco

مبدا اصلی

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

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

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

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

نوع ماده
[Book]

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

تكميل شده
Y

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

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