عنوان
پدید آورنده
موضوع
رده
CD 1743-35
CD
1743-35
کتابخانه
محل استقرار
۱۷۴۳
Logic for concurrency and synchronisation]CD[
Dordrecht ; Boston
Kluwer Academic Publishers
c2003
xxi, 284 p. : ill. ; 25 cm.
Trends in logic ;v. 81
Includes bibliographical references
، Proof theory
، Modality )Logic(
، Parallel programming )Computer science(
CD
1743-35
TI
edited by Ruy J.G.B. de Queiroz
AU ed .B .G .J yuR ,zorieuQ
SE
ش دیداری شنیداریبخ
