عنوان
پدید آورنده
موضوع
رده
QA 76.6 .A48 1996
QA
76
.
6
.
A48
1996
کتابخانه
محل استقرار
اطلاعات محلی رکورد
نوع مدرک
H1
عنوان و نام پديدآور
عنوان اصلي
Advaces in theory and formal methods of computing: processingd of the thrid Imperial College Workshop, Christ Church, Oxford, 1-3 April 1996
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London
نام ناشر، پخش کننده و غيره
Imperial College Press
تاریخ نشرو بخش و غیره
1996
مشخصات ظاهری
نام خاص و کميت اثر
viii, 330 p.: ill
يادداشت کلی
متن يادداشت
Workshops in computing
متن يادداشت
Includes bibliographies
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Electronic digital computers - Programming - Congresses
رده بندی کنگره
شماره رده
QA
نشانه اثر
76
.
6
شماره رکورد رده بندي
.
A48
شماره رکورد غير از شماره رده بندي
1996
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
TI
عنصر شناسه اي
editors: A. Edalat, S. Jourdan, G. Mccusker
