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/17106Toàn bộ biểu ghi siêu dữ liệu
| Trường DC | Giá trị | Ngôn ngữ |
|---|---|---|
| dc.contributor.author | Manju Nanda | |
| dc.contributor.author | Yogananda Jeppu | |
| dc.date.accessioned | 2018-01-18T09:59:13Z | - |
| dc.date.available | 2018-01-18T09:59:13Z | - |
| dc.date.issued | 2018 | |
| dc.identifier | 10.1007/978-981-10-4121-1 | |
| dc.identifier.uri | http://thuvienso.bvu.edu.vn/handle/TVDHBRVT/17106 | - |
| dc.language.iso | en | |
| dc.publisher | Springer | |
| dc.subject | Engineerring | |
| dc.title | Formal Methods for Safety and Security | |
| dc.type | ebook | |
| 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.