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 |