1. Logic for concurrency and synchronisation
پدیدآورنده : / edited by Ruy J.G.B. de Queiroz
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : برهان,منطق موجهات,برنامهنویسی موازی
رده :
QA
۹
/
۵۴
/
ل
۲ ۱۳۸۲
2. Logic for concurrency and synchronisation]CD[
پدیدآورنده : edited by Ruy J.G.B. de Queiroz
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Proof theory,، Modality )Logic(,، Parallel programming )Computer science(
رده :
CD
1743-35