1. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده: / Dirk Taubner
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Electronic data processing--Distributed processing,Petri nets,Programming languages (Electronic computers)
رده :
QA
,
76
.
9
,.
D5
,
T39
,
1989
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده: Taubner, Dirk
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Distributed processing ، Electronic data processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D5
.
T39
1989
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده: Taubner, Dirk
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D5
T39
1989
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده: Taubner, Dirk, 9591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
369
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)