عنوان
پدید آورنده
موضوع
رده
QA 75.5 .T525 1995
QA
75
.
5
.
T525
1995
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
5052a
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
عنوان اصلي
Theory and formal methods of computing 94 : proceedings of the Second Imperial College Workshop
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London : River Edge, NJ
محل نشرو پخش و غیره
Singapore
نام ناشر، پخش کننده و غيره
Imperial College Press
نام ناشر، پخش کننده و غيره
Distributed by World Scientific
تاریخ نشرو بخش و غیره
c1995
مشخصات ظاهری
نام خاص و کميت اثر
ix, 431 p. : ill. ; 23 cm
يادداشت کلی
متن يادداشت
At head of title: Imperial College, Department of Computing
متن يادداشت
Papers presented at the Second Workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London held in Cambridge on 11th-14th September 1994
متن يادداشت
Includes bibliographical references and index.
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
editors, C. Hankin, I. Mackie, R. Nagarajan
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Congresses ، Computer science
عنصر شناسه ای
Congresses ، Formal methods )Computer science(
رده بندی کنگره
شماره رده
QA
75
.
5
.
T525
1995
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
TI
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU sirhC ,niknaH ed.
عنصر شناسه اي
AU naI ,eikcaM ed.
عنصر شناسه اي
AU lapogajaR ,najaragaN ed.
عنصر شناسه اي
CO Imperial College of Science, Technology, and Medicine )Great Britain(. Dept. of Computing
عنصر شناسه اي
CO Imperial College Department of Computing Workshop on Theory and Formal Methods )4991 : Cambridge, England(
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
ک‌ه فیزی‌ه دانشکد‌ان‌ابخ‌کت
