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: https://lic.haui.edu.vn/media/Book_CNTT/Formal%20methods%20for%20components%20and%20objects_Content.pdf
Bạn đọc có thể tìm thêm tài liệu tại Thư viện ĐH Công nghiệp Hà Nội tại địa chỉ: http://lib.haui.edu.vn/opac80/