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 SizeFormat
BB2020_1_234.doc380 kBMicrosoft Word
  View online
View/Open
Show full item record

CORE Recommender

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.