Phương pháp hình thức kiểm chứng hệ thống ATM sử dụng JML

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í

File	Size	Format	Existing users please Login
BB2020_1_234.doc	380 kB	Microsoft Word

CORE Recommender

Check