Đang tải...

Formal specification and verification of digital sytems

Chi tiết về thư mục
Tác giả chính: George Milne
Định dạng: Printed Book
Ngôn ngữ:English
Được phát hành: McGraw-Hill 1994