George Milne. (1994). Formal specification and verification of digital sytems. McGraw-Hill.
Chicago Edition CitationGeorge Milne. Formal Specification and Verification of Digital Sytems. McGraw-Hill, 1994.
Deismireacht MLAGeorge Milne. Formal Specification and Verification of Digital Sytems. McGraw-Hill, 1994.
Rabhadh: D'fhéadfadh nach mbeadh na deismireachtaí seo 100% cruinn i gcónaí.