|
Tác giả CN
| TRAN NHAT HOA |
|
Nhan đề
| STUDY ON FACILITATING THE VARIATION OF SCHEDULERS IN MODEL CHECKING |
|
Thông tin xuất bản
| School of Information Science Japan Advanced Institute of Science and Technology :Trường Đại học Xây dựng,2018 |
|
Mô tả vật lý
| 30cm |
|
Từ khóa tự do
| Luận án ngoại văn |
|
Từ khóa tự do
| Ngoại văn |
|
| 000 | 00000nam#a2200000u##4500 |
|---|
| 001 | 43798 |
|---|
| 002 | 42 |
|---|
| 004 | 78721FF5-4A5E-4F8B-B766-2700A5460E63 |
|---|
| 005 | 202012250916 |
|---|
| 008 | 201225s2018 vm eng |
|---|
| 009 | 1 0 |
|---|
| 039 | |y20201225091729|zcuonglv |
|---|
| 100 | |aTRAN NHAT HOA |
|---|
| 245 | |aSTUDY ON FACILITATING THE VARIATION OF SCHEDULERS IN MODEL CHECKING |
|---|
| 260 | |aSchool of Information Science Japan Advanced Institute of Science and Technology :|bTrường Đại học Xây dựng,|c2018 |
|---|
| 300 | |c30cm |
|---|
| 653 | |aLuận án ngoại văn |
|---|
| 653 | |aNgoại văn |
|---|
| 856 | 1|uhttps://thuvien.huce.edu.vn/kiposdata1/luanantiensy/a-luanantiensingoaivan/ts22-trannhathoa/zanoidung_01thumbimage.jpg |
|---|
| 890 | |c1|a0|b0|d1 |
|---|
|
Không tìm thấy biểu ghi nào