نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Programming with specifications : an introduction to ANNA, a language for specifying Ada programs
پدید آورنده
David Luckham,Title
موضوع
ANNA )Computer program language(,Ada )Computer program language(
رده
QA
.
A54L83
76
.
73
1990
کتابخانه
كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين
محل استقرار
استان:
قزوین
ـ شهر:
قزوين
تماس با کتابخانه :
33780050
-
028
عنوان و نام پديدآور
عنوان اصلي
Programming with specifications : an introduction to ANNA, a language for specifying Ada programs
نام نخستين پديدآور
David Luckham
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
1990
مشخصات ظاهری
نام خاص و کميت اثر
xvi, 416 p. : ill. ; 25 cm
فروست
عنوان فروست
Texts and monographs in computer science
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Includes bibliographical references )p. )401(-410( and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
ANNA )Computer program language(
عنصر شناسه ای
Ada )Computer program language(
رده بندی کنگره
شماره رده
QA
شماره رکورد رده بندي
76
.
73
نشانه اثر
.
A54L83
شماره رکورد غير از شماره رده بندي
1990
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
Luckham, David C.
عنصر شناسه اي
Title
اطلاعات رکورد کتابشناسی
نوع ماده
English Book
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد