Đang tải...
Formal specification and verification of digital systems /
| Tác giả chính: | |
|---|---|
| Ngôn ngữ: | Undetermined |
| Được phát hành: |
London :
McGraw-Hill book co ,
1994.
|
University of Kerala
| Số hiệu: |
D6512 N41 |
|---|---|
| Sao chép | Trạng thái trực tiếp không khả dụng |