• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه

عنوان
Program verification using Ada

پدید آورنده
Andrew D. McGettrick

موضوع
Computer programs--Verification,Ada (Computer program language)

رده
QA
،
76
.
6
،.
M399
،
1982

کتابخانه
كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد

محل استقرار
استان: تهران ـ شهر: تهران

كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد

تماس با کتابخانه : 51214110-021

شابک

شابک
ISBN 0521242150
شابک
ISBN 0521285313 (pbk.)

اطلاعات محلی رکورد

نوع مدرک
English Book

عنوان و نام پديدآور

عنوان اصلي
Program verification using Ada
نام نخستين پديدآور
Andrew D. McGettrick

وضعیت نشر و پخش و غیره

محل نشرو پخش و غیره
Cambridge
نام ناشر، پخش کننده و غيره
Cambridge University Press
تاریخ نشرو بخش و غیره
1982

مشخصات ظاهری

نام خاص و کميت اثر
345 p. ; 24 cm.

یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر

متن يادداشت
Includes index
متن يادداشت
Bibliography: p. 335-339

موضوع (اسم عام یاعبارت اسمی عام)

عنصر شناسه ای
Computer programs--Verification
عنصر شناسه ای
Ada (Computer program language)

رده بندی کنگره

شماره رده
QA
نشانه اثر
76
.
6
شماره رکورد رده بندي
.
M399
شماره رکورد غير از شماره رده بندي
1982

نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )

عنصر شناسه اي
4491 ,.McGettrick, Andrew D

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال