عنوان
پدید آورنده
موضوع
رده
QA 76 .76 .V47 .S34 2003
QA
76
.
76
.
V47
.
S34
2003
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
136833
شماره استاندارد
137085
شماره استاندارد
140885
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
بها‌ر۳۸
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)91-20(
نام نخستين پديدآور
Schneider, Klaus
خط فهرست نويسي و خط اصلي شناسه
1967-
عنوان اصلي
Verification of reactive systems: formal methods and algorithms
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
2004
مشخصات ظاهری
نام خاص و کميت اثر
xiv, 600 p.: ill.; 24 cm
فروست
عنوان فروست
Texts in theoretical computer science
يادداشت کلی
متن يادداشت
Includes bibliographical references and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Computer systems-- Verification
عنصر شناسه ای
، Formal methods )Computer science(
عنصر شناسه ای
، Computer algorithms
رده بندی کنگره
شماره رده
QA
76
.
76
.
V47
.
S34
2003
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
Klaus Schneider
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
TI
عنصر شناسه اي
SE
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
129
نحوه قرار گرفتن مدرك روي قفسه
129
نحوه قرار گرفتن مدرك روي قفسه
02
