عنوان
پدید آورنده
موضوع
رده
QA .I56 76.642 1990
QA
.
I56
76
.
642
1990
کتابخانه
محل استقرار
عنوان و نام پديدآور
عنوان اصلي
Semantics for concurrency : proceedings of the International BCS-FACS Workshop
نام نخستين پديدآور
sponsored by Logic for IT )S.E.R.C.(, 23-25 July 1990, University of Leicester, UK ; )editors( M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London, New York
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
1990
مشخصات ظاهری
نام خاص و کميت اثر
viii, 346 p. : ill. ; 25 cm
فروست
عنوان فروست
Workshops in computing
یادداشتهای کلی مربوط به اطلاعات توصیفی
متن يادداشت
Published in collaboration with the British Computer Society
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Includes bibliographical references and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Parallel programming )Computer science( - Congresses
عنصر شناسه ای
Programming languages )Electronic computers( - Semantics - Congresses
رده بندی کنگره
شماره رده
QA
شماره رکورد رده بندي
76
.
642
نشانه اثر
.
I56
شماره رکورد غير از شماره رده بندي
1990
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
International BCS-FACS Workshop, University of Leicestert, )1990
عنصر شناسه اي
Title
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
Kwiatkowska, Marta Z
عنصر شناسه اي
Shields, Michael William
عنصر شناسه اي
Thomas, Richard Monro
عنصر شناسه اي
S.E.R.C. Logic for IT
عنصر شناسه اي
British Computer Society
اطلاعات گونه گون
.1957-
اطلاعات گونه گون
1950-
اطلاعات گونه گون
1952-
اطلاعات رکورد کتابشناسی
نوع ماده
English Book
