» Từ khóa: frank s bonsangue

Kết quả 1-1 trong khoảng 1

Formal methods for components and objects

The AVANTSSAR project; the ESF cost action IC0701; the DEPLOY project; the HATS project; the INESS project; the MADES project; the MOGEN TES project; the MUL TIFORM project; the QUASIMODO project Thông tin trích dẫn: Formal methods for components and objects. Aicherning, Bernhard K.#De Boer, Frank S.#Bonsangue, Marcello M.. NXB Springer, 2012. Vui lòng truy cập địa chỉ sau để download và biết thêm thông tin chi tiết:...

11 p haui 21/06/2022 53 0

Từ khóa: Formal methods; components; objects, Công nghệ thông tin, Aicherning, Bernhard K.#De Boer, Frank S.#Bonsangue, Marcello M.

Đăng nhập

Bộ sưu tập nổi bật

Những tài liệu hay nhất về Tài chính - Ngân...

13 1062

Thư viện Đại Học Công Nghiệp Hà Nội

Địa chỉ: Nhà A11 - Khu A, Phường Minh Khai, Quận Bắc Từ Liêm, Hà Nội
Cơ sở 2: Tầng 1, 2 nhà B8 - Khu B, Phường Tây Tựu, Quận Bắc Từ Liêm, Hà Nội
Cơ sở 3: Nhà C18 - Khu C, Phường Lê Hồng Phong, Thành phố Phủ Lý, Hà Nam
ĐT: +84 243 765 5121 - 0243.7655.121 (Số nội bộ: 800, 801, 805)
Email: lic.haui.edu.vn@gmail.com

Phát triển bởi Thư viện số