عنوان
پدید آورنده
موضوع
رده
QA۹/۵۴ /ل۲ ۱۳۸۲
QA
۹
/
۵۴
/
ل
۲ ۱۳۸۲
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
1402012705
NATIONAL BIBLIOGRAPHY NUMBER
Number
ز۵/۹۳
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logic for concurrency and synchronisation
First Statement of Responsibility
/ edited by Ruy J.G.B. de Queiroz
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Dordrecht
Name of Publisher, Distributor, etc.
: Kulwer Academic Pub.
Date of Publication, Distribution, etc.
, 2003 = 1382.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xxi، ۲۸۴ ص.
Other Physical Details
مصور، نمودار
SERIES
Series Title
(Trends in logic; v. 18)
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
کتابنامه
لاجیک فور کانکرنسی اند سینکرنایزیشن
TOPICAL NAME USED AS SUBJECT
برهان
منطق موجهات
برنامهنویسی موازی
DEWEY DECIMAL CLASSIFICATION
Number
۱۱۵
/
۳
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
۹
/
۵۴
Book number
/
ل
۲ ۱۳۸۲
PERSONAL NAME - SECONDARY RESPONSIBILITY
، روی ، ویراستار، Queiroz, Ruy J.G.B. de
old catalog
