Please use this identifier to cite or link to this item:
http://thuvienlamdong.org.vn:81/handle/DL_134679/26282
Title: | Phương pháp hình thức kiểm chứng hệ thống ATM sử dụng JML | Authors: | Đào, Thị Hường | Keywords: | Tạp chí Khoa học Trường Đại học Hải Phòng: Chuyên san Kinh tế và Kỹ thuật | Issue Date: | 2020 | Series/Report no.: | Tạp chí Khoa học Trường Đại học Hải Phòng: Chuyên san Kinh tế và Kỹ thuật - Công nghệ - 2020 - no.40 | URI: | https://sti.vista.gov.vn/tw/Pages/tai-lieu-khcn.aspx?ItemID=302014 http://thuvienlamdong.org.vn:81/handle/DL_134679/26282 |
Appears in Collections: | Báo - Tạp chí |
Files in This Item:
File | Size | Format | |
---|---|---|---|
BB2020_1_234.doc | 380 kB | Microsoft Word | View online View/Open |
CORE Recommender
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.