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
Lưu vào:
| Tác giả chính: | , , |
|---|---|
| Định dạng: | Ebook |
| Ngôn ngữ: | En |
| Thông tin xuất bản: |
Springer
|
| Truy cập trực tuyến: | http://lib.haui.edu.vn/opac80/EDetail.aspx?id=1134 |
| Từ khóa: |
Thêm từ khóa bạn đọc
Không có từ khóa, Hãy là người đầu tiên gắn từ khóa cho biểu ghi này!
|