نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Formal methods in databases and software engineering
پدید آورنده
V.S.Alagar,Lak V.S.Lakshmann,F.Sadri
موضوع
Databases,Software engineering
رده
QA
76
.
9
.
D32
1993
کتابخانه
کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج)
محل استقرار
استان:
کرمان
ـ شهر:
رفسنجان
تماس با کتابخانه :
20
-
31312512
-
034
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
عنوان و نام پديدآور
عنوان اصلي
Formal methods in databases and software engineering
نام نخستين پديدآور
V.S.Alagar,Lak V.S.Lakshmann,F.Sadri
عنوان اصلي به قلم نويسنده ديگر
#Formal methods in databases
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer Verlag
تاریخ نشرو بخش و غیره
1993
مشخصات ظاهری
نام خاص و کميت اثر
VI,191P.: table
ساير جزييات
, 2601 , 2-1
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
includes Reference
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Databases
عنصر شناسه ای
Software engineering
رده بندی کنگره
شماره رده
QA
نشانه اثر
76
.
9
شماره رکورد رده بندي
.
D32
شماره رکورد غير از شماره رده بندي
1993
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
Formal methods in Databases and software engineering
نام شخص - ( مسئولیت معنوی درجه دوم )
کد نقش
AU
کد نقش
AU
عنصر شناسه اي
Alagar V.S Editor
عنصر شناسه اي
title
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد