loading

Methods for modeling and verifying event-driven systems= Phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện. Luận án TS. Công nghệ thông tin: 62 48 01 03 / Lê, Hồng Anh; Trương, Ninh Thuận, người hướng dẫn,Phạm, Bảo Sơn, người hướng dẫn

Tác giả : Lê, Hồng Anh; Trương, Ninh Thuận, người hướng dẫn,Phạm, Bảo Sơn, 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 :

145 p. + CD-ROM + Tóm tắtLuận án tiến sỹ. 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/42974