عنوان
پدید آورنده
موضوع
رده
003 L754
003
L754
کتابخانه
محل استقرار
عنوان و نام پديدآور
عنوان اصلي
Linear time, branching time and partial order in logics and models for concurrency
وضعیت نشر و پخش و غیره
تاریخ نشرو بخش و غیره
c 1989
نام ناشر، پخش کننده و غيره
Springer
مشخصات ظاهری
ساير جزييات
viii, 713 p.: diagrs
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Linear time invariant systems ► Linear systems
رده بندی ديویی
ويراست
L754
شماره
003
شناسه افزوده (تنالگان)
عنصر شناسه اي
Bakker, J. W. de, ed ► ^dSeries: Lecture notes in computer science; v. 354
