عنوان
پدید آورنده
موضوع
رده
QA76.5 .L523 1989
QA76
.
5
.
L523
1989
کتابخانه
محل استقرار
شابک
شابک
038751080X (U.S. : alk. paper)
شابک
354051080X
شابک
9780387510804 (U.S. : alk. paper)
شابک
9783540510802
شماره کتابشناسی ملی
کد کشور
dnb
شماره
b433656
عنوان و نام پديدآور
عنوان اصلي
Linear time, branching time, and partial order in logics and models for concurrency :
نام عام مواد
[Book]
ساير اطلاعات عنواني
School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988 /
نام نخستين پديدآور
J.W. de Bakker, W.-P de Roever, G. Rozenberg, eds.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Springer-Verlag,
تاریخ نشرو بخش و غیره
c1989.
مشخصات ظاهری
نام خاص و کميت اثر
viii, 713 p. :
ساير جزييات
ill. ;
ابعاد
25 cm.
فروست
عنوان فروست
Lecture notes in computer science ;
مشخصه جلد
354
يادداشت کلی
متن يادداشت
"Based on the School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, organized by the editors"--Pref.
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references.
یادداشتهای مربوط به نیازمندی های سیستم (منابع الکترونیک)و جزئیات فنی
متن يادداشت
Mode of access: World Wide Web.
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Linear time, branching time, and partial order in logics and models for concurrency.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Electronic data processing-- Distributed processing.
موضوع مستند نشده
Parallel processing (Electronic computers)
رده بندی ديویی
شماره
004/
.
35
ويراست
20
رده بندی کنگره
شماره رده
QA76
.
5
نشانه اثر
.
L523
1989
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Bakker, J. W. de, (Jacobus Willem),1939-
مستند نام اشخاص تاييد نشده
Roever, W.-P. de,1943-
مستند نام اشخاص تاييد نشده
Rozenberg, Grzegorz.
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency(1988 :, Noordwijkerhout, Netherlands)
مبدا اصلی
تاريخ عمليات
20120212081254.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
