|
DDC
| 9999 |
|
Nhan đề
| Phương pháp hình thức kiểm chứng hệ thống ATM sử dụng JML / Đào Thị Hường |
|
Thông tin xuất bản
| 2020 |
|
Mô tả vật lý
| Tr.75-84 |
|
Từ khóa tự do
| Kiểm chứng |
|
Từ khóa tự do
| Hệ thống phần mềm |
|
Từ khóa tự do
| Hệ thống ATM |
|
Tác giả(bs) CN
| Đào Thị Hường |
|
Địa chỉ
| Trung tâm Thông tin - Thư viện |
|
|
000
| 00000ncs#a2200000ui#4500 |
|---|
| 001 | 45198 |
|---|
| 002 | 4 |
|---|
| 004 | A2A72723-84C0-498A-828B-402DFDB2024B |
|---|
| 005 | 202506271440 |
|---|
| 008 | 081223s2020 vm| vie |
|---|
| 009 | 1 0 |
|---|
| 039 | |y20250627144048|zoanhlth |
|---|
| 041 | |avie |
|---|
| 044 | |avm |
|---|
| 082 | |a9999 |
|---|
| 245 | |aPhương pháp hình thức kiểm chứng hệ thống ATM sử dụng JML /|cĐào Thị Hường |
|---|
| 260 | |c2020 |
|---|
| 300 | |bTr.75-84 |
|---|
| 362 | |bTạp chí Khoa học, Số 40 tháng 05 năm 2020 |
|---|
| 653 | |aKiểm chứng |
|---|
| 653 | |aHệ thống phần mềm |
|---|
| 653 | |aHệ thống ATM |
|---|
| 700 | |aĐào Thị Hường |
|---|
| 852 | |aTrung tâm Thông tin - Thư viện |
|---|
| 856 | 1|uhttps://lib.dhhp.edu.vn/kiposdata1/anhbiatlns/5baibaokhoahoc_thumbimage.png |
|---|
|
|
Không tìm thấy biểu ghi nào
Không có liên kết tài liệu số nào