Vui lòng dùng định danh này để trích dẫn hoặc liên kết đến tài liệu này:
http://thuvienso.bvu.edu.vn/handle/TVDHBRVT/17106| Nhan đề: | Formal Methods for Safety and Security |
| Tác giả: | Manju Nanda Yogananda Jeppu |
| Từ khoá: | Engineerring |
| Năm xuất bản: | 2018 |
| Nhà xuất bản: | Springer |
| Định danh: | http://thuvienso.bvu.edu.vn/handle/TVDHBRVT/17106 |
| Định danh khác: | 10.1007/978-981-10-4121-1 |
| Bộ sưu tập: | Engineering |
Các tập tin trong tài liệu này:
| Tập tin | Mô tả | Kích thước | Định dạng | |
|---|---|---|---|---|
| 978-981-10-4121-1.pdf | 4,63 MB | Adobe PDF |  Đăng nhập để xem toàn văn |
Khi sử dụng các tài liệu trong Thư viện số phải tuân thủ Luật bản quyền.