loading

Kiểm chứng hệ thống thời gian thực bằng công cụ kiểm chứng mô hình SAL : Luận văn ThS. Công nghệ thông tin: 60 48 01 03 / Nguyễn, Khắc Chung; Đặng, Văn Hưng, người hướng dẫn

Tác giả : Nguyễn, Khắc Chung; Đặng, Văn Hưng, người hướng dẫn

Nhà xuất bản : ĐHCN

Năm xuất bản : 2015

Chủ đề : 1. Thesis.

Thông tin chi tiết

Tóm tắt :

46 tr. + CD-ROM + Tóm tắtLuận văn ThS. Kỹ thuật phần mềm -- Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội, 2015

 Thông tin dữ liệu nguồn

 Thư viện  Ký hiệu xếp giá  Dữ liệu nguồn
Đại học Công nghệ - ĐHQGHN
https://repository.vnu.edu.vn/handle/VNU_123/43033