عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .S88 .T42 1989
QA
76
.
9
.
S88
.
T42
1989
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
91693
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
آخر۲۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)20(
عنوان اصلي
Temporal logic in specification: Altrincham, UK, April 8-10, 1987: proceedings
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin; New York
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
1989
مشخصات ظاهری
نام خاص و کميت اثر
vi, 448 p.: ill.; 24 cm
فروست
عنوان فروست
Lecture notes in computer science
شاپا ي ISSN فروست
398
يادداشت کلی
متن يادداشت
Based on papers presented at the Colloquium on Temporal Logic in Specification
متن يادداشت
Includes bibliographical references
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، System design
عنصر شناسه ای
، Logic, Symbolic and mathematical
رده بندی کنگره
شماره رده
QA
76
.
9
.
S88
.
T42
1989
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
TI
عنصر شناسه اي
B. Banieqbal, H. Barringer, A. Pnueli )eds.(
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU (manheB).B ,labqeinaB 1960-
عنصر شناسه اي
AU drawoH ,regnirraB 1951-
عنصر شناسه اي
AU A ,ileunP
عنصر شناسه اي
CO Colloquium on Temporal Logic in Specification )7891: Altrincham, England(
عنصر شناسه اي
SE
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
02
