عنوان
پدید آورنده
موضوع
رده
QA،76.9،.F67,F525،2007
QA
،
76
.
9
،.
F67
,
F525
،
2007
کتابخانه
محل استقرار
شابک
شابک
354075220X (pbk.)
اطلاعات محلی رکورد
نوع مدرک
English Book
عنوان و نام پديدآور
عنوان اصلي
Formal methods and hybrid real-time systems
ساير اطلاعات عنواني
essays in honour of Dines Bj▓erner and Zhou Chaochen on the occasion of their 70th birthdays
نام نخستين پديدآور
Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin ;New York
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
c2007
مشخصات ظاهری
نام خاص و کميت اثر
xvi, 538 p. , ill. , 24 cm.
فروست
عنوان فروست
Series: Lecture notes in computer science ;4700.
عنوان فروست
Series: Lecture notes in computer science.Festschrift.
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index.
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Bj▓rner, D., (Dines), 1937-
عنصر شناسه ای
Chaochen, Zhou
عنصر شناسه ای
Formal methods (Computer science), Congresses
عنصر شناسه ای
Real-time data processing, Congresses
رده بندی ديویی
شماره
004
نشانه اثر
.
33
رده بندی کنگره
شماره رده
QA
نشانه اثر
76
.
9
شماره رکورد رده بندي
.
F67
,
F525
شماره رکورد غير از شماره رده بندي
2007
نام شخص - ( مسئولیت معنوی درجه دوم )
عنصر شناسه اي
Bj▓rner, D.(Dines),1937-
عنصر شناسه اي
Zhou, Chaochen,1937-
عنصر شناسه اي
Jones, C. B.(Cliff B.),1944-
عنصر شناسه اي
Liu, Zhiming,1961-
عنصر شناسه اي
Woodcock, Jim.
