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:
https://thuvienso.bvu.edu.vn/handle/TVDHBRVT/16917| Nhan đề: | Formal System Verification |
| Tác giả: | Rolf Drechsler |
| 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/16917 |
| Định danh khác: | 10.1007/978-3-319-57685-5 |
| 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-3-319-57685-5.pdf | 6,49 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.