نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
درباره پایگاه
ارتباط با ما
تاریخچه
عنوان
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
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد