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