عنوان
پدید آورنده
موضوع
رده
CD 1743-35
CD
1743-35
کتابخانه
محل استقرار
OTHER STANDARD IDENTIFIER
Standard Number
۱۷۴۳
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logic for concurrency and synchronisation]CD[
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Dordrecht ; Boston
Name of Publisher, Distributor, etc.
Kluwer Academic Publishers
Date of Publication, Distribution, etc.
c2003
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xxi, 284 p. : ill. ; 25 cm.
SERIES
Series Title
Trends in logic ;v. 81
GENERAL NOTES
Text of Note
Includes bibliographical references
TOPICAL NAME USED AS SUBJECT
Entry Element
، Proof theory
Entry Element
، Modality )Logic(
Entry Element
، Parallel programming )Computer science(
LIBRARY OF CONGRESS CLASSIFICATION
Class number
CD
1743-35
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
TI
Entry Element
edited by Ruy J.G.B. de Queiroz
AU ed .B .G .J yuR ,zorieuQ
SE
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
ش دیداری شنیداریبخ
