نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Algebraic specification techniques and tools for software development: the ACT approach
پدید آورنده
Classen, Ingo,Ingo Claszen, Hartmut Ehrig, Dietmar Wolz
موضوع
، Computer software- Development,، Compilers )Computer programs(
رده
QA
76
.
76
.
D47
C57
1993
کتابخانه
كتابخانه و مركز اسناد دانشگاه كردستان
محل استقرار
استان:
کردستان
ـ شهر:
سنندج
تماس با کتابخانه :
33624006
-
087
شناسگر استاندارد دیگر
شماره استاندارد
8467
عنوان و نام پديدآور
نام نخستين پديدآور
Classen, Ingo
عنوان اصلي
Algebraic specification techniques and tools for software development: the ACT approach
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Singapore ;River Edge, N.J
نام ناشر، پخش کننده و غيره
World Scientific
تاریخ نشرو بخش و غیره
1993
مشخصات ظاهری
نام خاص و کميت اثر
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(
رده بندی ديویی
شماره
005
رده بندی کنگره
شماره رده
QA
76
.
76
.
D47
C57
1993
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
Ingo Claszen, Hartmut Ehrig, Dietmar Wolz
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU tumtraH ,girhE
عنصر شناسه اي
AU ramteiD ,zloW
عنصر شناسه اي
TI
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
ه مرکزیانابخن کتش التیبخ
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد