Current trends in hardware verification and automated theorem proving

Chi tiết về thư mục
Tác giả chính: Current trends in
Định dạng: Printed Book
Ngôn ngữ:English
Được phát hành: New York Springer-Verlag 1989
Những chủ đề:
hardware verification > Computer hardware

UL

Chi tiết quỹ từ UL
Số hiệu: 621.3.049.77 BIR
Sao chép Trạng thái trực tiếp không khả dụng

Những quyển sách tương tự