Computer Aided Verification
| Tác giả khác: | |
|---|---|
| Định dạng: | Điện tử eBook |
| Ngôn ngữ: | English |
| Được phát hành: |
Springer International Publishing,
2022
|
| Phiên bản: | 1 |
| Những chủ đề: | |
| Truy cập trực tuyến: | Full text available on Springer Off-campus access |
| Được phát hành: | Vol. 13372 |
|---|---|
| Mô tả sách: | <strong>Off-Campus Access:</strong> Athens ID and Password Required <strong>On-Campus Access:</strong> No User ID or Password Required |
| Mô tả vật lý: | 1 online resource |
| Định dạng: | Mode of access: Internet |
| số ISBN: | 978-3-031-13187-5 978-3-031-13188-2 |
| Truy cập: | Electronic access restricted to authorized BRAC University faculty, staff and students |