Computer Aided Verification
Tác giả: 7th International conference, CAV 95 Belgium 1995.
Kiểu tài liệu:
SáchXuất bản: Berlin Springer 1995Mô tả vật lý: 463p.Số ISBN: 3540600450.Chủ đề: Computer science
| Kiểu tài liệu | Kho hiện tại | Ký hiệu phân loại | Trạng thái | Ngày hết hạn | ĐKCB | Số lượng đặt mượn |
|---|---|---|---|---|---|---|
Sách chuyên khảo
|
Trung tâm Thông tin - Tư liệu
Trung tâm Thông tin - Tư liệu |
004 (Xem kệ sách) | Sẵn sàng | ISI.LT00787 |
Tổng số đặt mượn: 0
Hiện tại chưa có bình luận nào về tài liệu này.