نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Algebraic specification techniques and tools for software development : the ACT approach
پدید آورنده
Classen, Ingo.
موضوع
، Computer software-- Development,، Compilers )Computer programs(
رده
QA
76
.
76
.
D47
.
C57
1993
کتابخانه
كتابخانه مركزی دانشگاه صنعتي شريف
محل استقرار
استان:
تهران
ـ شهر:
تهران
تماس با کتابخانه :
66005817
-
021
شناسگر استاندارد دیگر
شماره استاندارد
105379
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
بهار۴۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)91(
نام نخستين پديدآور
Classen, Ingo.
عنوان اصلي
Algebraic specification techniques and tools for software development : the ACT approach
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Singapore
نام ناشر، پخش کننده و غيره
World Scientific
تاریخ نشرو بخش و غیره
c1993
مشخصات ظاهری
نام خاص و کميت اثر
xvi, 237 p. : ill. ; 23 cm
فروست
عنوان فروست
AMAST series in computing; vol. 1
يادداشت کلی
متن يادداشت
Includes bibliographical references )p. 221-229( and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Computer software-- Development
عنصر شناسه ای
، Compilers )Computer programs(
رده بندی کنگره
شماره رده
QA
76
.
76
.
D47
.
C57
1993
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
Ingo Claszen, Hartmut Ehrig, Dietmar Wolz
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU .tumtraH ,girhE
عنصر شناسه اي
AU .ramteiD ,zloW
عنصر شناسه اي
TI
عنصر شناسه اي
SE
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
19
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد