0306480883 (electronic bk.)
IR
EN-53195
انگلیسی
IR
Logic for concurrency and synchronisation
[Book]
/ edited by Ruy J.G.B. de Queiroz
Dordrecht ; Boston
: Kluwer Academic Publishers,
, c2003.
xxi, 284 p. , ill. , 25 cm.
(Trends in logic
; v. 18)
Electronic
Includes bibliographical references.
Proof theory
Modality (Logic)
Parallel programming (Computer science)
Electronic books. , local
E-BOOK
Queiroz, Ruy J. G. B. de
NetLibrary, Inc
ایران
0306480883.pdf
عادی
عادی
0306480883.pdf
متن
old catalog
e
BL
1
a
Y
