عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
1804
عنوان و نام پديدآور
نام نخستين پديدآور
Bowman, Howard
عنوان اصلي به قلم نويسنده ديگر
6691-
عنوان اصلي
Concurrency theory :calculi and automata for modelling untimed and timed concurrent systems. ]CD[
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
c2006
مشخصات ظاهری
نام خاص و کميت اثر
xxiv, 435 p. : ill. ; 25 cm.
يادداشت کلی
متن يادداشت
Includes bibliographical references )p. ]397[-407( and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Mathematical models ، Parallel processing )Electronic computers(
عنصر شناسه ای
، Machine theory
عنصر شناسه ای
، LOTOS )Computer program language(
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
Howard Bowman and Rodolfo Gomez
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU oflodoR ,zemoG
عنصر شناسه اي
TI
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
ش دیداری شنیداری‌بخ
