INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0306480883 (electronic bk.)
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
EN-53195
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logic for concurrency and synchronisation
General Material Designation
[Book]
First Statement of Responsibility
/ edited by Ruy J.G.B. de Queiroz
.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
Volume Designation
; v. 18)
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Electronic
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references.
TOPICAL NAME USED AS SUBJECT
Proof theory
Modality (Logic)
Parallel programming (Computer science)
Electronic books. , local
LIBRARY OF CONGRESS CLASSIFICATION
Class number
E-BOOK
PERSONAL NAME - SECONDARY RESPONSIBILITY
Queiroz, Ruy J. G. B. de
NetLibrary, Inc
ORIGINATING SOURCE
Country
ایران
ELECTRONIC LOCATION AND ACCESS
Host name
0306480883.pdf
Access number
عادی
Compression information
عادی
Date and Hour of Consultation and Access
0306480883.pdf
Electronic Format Type
متن
old catalog
e
BL
1
a
Y
