عنوان
پدید آورنده
موضوع
رده
QA 75 .5 .T525 1995
QA
75
.
5
.
T525
1995
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
129108
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
بها‌ر۱۸
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)91(
عنوان اصلي
Theory and formal methods of computing 94: proceedings of the Second Imperial College Workshop
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London
نام ناشر، پخش کننده و غيره
Imperial College Press
تاریخ نشرو بخش و غیره
1995
مشخصات ظاهری
نام خاص و کميت اثر
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, Lond on held in Cambridge on 11th-14th September 1994
متن يادداشت
Includes bibliographical references and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Congresses ، Computer science
عنصر شناسه ای
Congresses ، Formal methods )Computer science(
رده بندی کنگره
شماره رده
QA
75
.
5
.
T525
1995
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
TI
عنصر شناسه اي
editors, C. Hankin, I. Mackie, R. Nagarajan
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU sirhC ,niknaH
عنصر شناسه اي
AU (naI).I ,eikcaM
عنصر شناسه اي
AU (lapogajaR).R ,najaragaN
عنصر شناسه اي
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 )2nd: 4991: Cambridge, England(
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
129
