عنوان
پدید آورنده
موضوع
رده
QA9.54 .L64 2003
QA9
.
54
.
L64
2003
کتابخانه
محل استقرار
1402012705
IR
EB11731
انگلیسی
IR
Logic for concurrency and synchronisation
[Electronic Resource]
/ 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)
e
ng
Includes bibliographical references.
Proof theory
Modality (Logic)
Parallel programming (Computer science)
511
.
3
QA9
.
54
.
L64
2003
Queiroz, Ruy J. G. B. de
ایران
1402012705.pdf
محرمانه
محرمانه
1402012705.pdf
0
متن
old catalog
e
BL
1
a
Y
