عنوان
پدید آورنده
موضوع
رده
BC 199 .T4K76
BC
199
.
T4K76
کتابخانه
محل استقرار
عنوان و نام پديدآور
عنوان اصلي
Temporal logic and state systems
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
c2008
مشخصات ظاهری
نام خاص و کميت اثر
xi, 433 p.: ill
فروست
ساير اطلاعات عنواني
Texts in theoretical computer science : An EATCS series
يادداشت کلی
متن يادداشت
Bibliography: p.]421[-428
متن يادداشت
ISBN: 3540674012
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
Fred Kroger, Stephan Merz
یادداشت های مربوط به نسخه اصلی
متن يادداشت
1
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Tense )Logic(
عنصر شناسه ای
، Logic, Symbolic and mathematical
عنصر شناسه ای
، Time
رده بندی کنگره
شماره رده
BC
199
.
T4K76
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
Kroger, Fred, 5491-
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU Merz, Stephan
عنصر شناسه اي
CO European Association for Theoretical Computer Science
عنصر شناسه اي
TI
عنصر شناسه اي
SE EATCS monographs on theoretical computer science
