| Type |  Book |
| ชื่อเรื่อง | Formal specification and verification of digital systems / George Milne |
| ผู้แต่ง | Milne, George |
| พิมพลักษณ์ | London : McGraw-Hill, c1994 |
| รูปเล่ม | xiv, 240 p |
| หัวเรื่อง | Digital integrated circuits --Design and construction --Data processing [] |
| | Hardware description languages |
| | Integrated circuits --Verification [] |