عنوان
پدید آورنده
موضوع
رده
005 P964
005
P964
کتابخانه
محل استقرار
عنوان و نام پديدآور
عنوان اصلي
programming and proof system ATES; advanced techniques integration into efficient scientific software
وضعیت نشر و پخش و غیره
تاریخ نشرو بخش و غیره
1991
نام ناشر، پخش کننده و غيره
Springer
مشخصات ظاهری
ساير جزييات
viii, 341 p.: ill, diagrs
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Computer software
رده بندی ديویی
ويراست
P964
شماره
005
نام شخص - ( مسئولیت معنوی درجه دوم )
عنصر شناسه اي
Armand Puccetti (ed)
شناسه افزوده (تنالگان)
عنصر شناسه اي
Puccetti, Armand, ed ► ^dSeries: Research reports ESPRIT, ATES, v.1
