Applied formal verification / Douglas L. Perry, Harry D. Foster
Tác giả : Douglas L. Perry, Harry D. Foster
Nhà xuất bản : McGraw-Hill
Năm xuất bản : 2005
Nơi xuất bản : N.Y. [etc.]
Mô tả vật lý : xiv,237tr. : minh họa ; 24cm
ISBN : 007144372X
Số phân loại : 621.3815
Tùng thư :
McGraw-Hill electronic engineering
Chủ đề : 1. Mạch điện tử -- Kiểm tra. 2. Mạch tích hợp -- Kiểm nghiệm. 3. Vi mạch -- Kiểm nghiệm.
Thông tin dữ liệu nguồn
Thư viện | Ký hiệu xếp giá | Dữ liệu nguồn |
---|---|---|
Thư viện Khoa học Tổng hợp TP.HCM |
LV 387/2009, LV 388/2009 |
https://phucvu.thuvientphcm.gov.vn//Item/ItemDetail/419210?siteid=2 |