Thông tin tài liệu

Full metadata record
DC FieldValueLanguage
dc.contributor.advisorNguyễn Đức Minh-
dc.contributor.authorNguyễn Thái Bình-
dc.date.accessioned2016-04-29T04:09:09Z-
dc.date.available2016-04-29T04:09:09Z-
dc.date.issued2013-
dc.identifier.other'000000272312-
dc.identifier.urihttp://dlib.hust.edu.vn/handle/HUST/3580-
dc.descriptionLuận văn thạc sỹ - Chuyên ngành Kỹ thuật máy tính và truyền thông-
dc.description.abstractTổng quan về kiểm định hình thức phần cứng; Kiểm chứng hình thức; Phát triển chương trình tạo ROBĐ mạch LOGIC biểu diễn bằng FCK.-
dc.language.isovi-
dc.publisherTrường Đại học Bách Khoa Hà Nội-
dc.subjectPhần cứng-
dc.subjectThiết kế-
dc.subjectKiểm định-
dc.subjectLuận văn-
dc.subject.lccQA76.16-
dc.titleKiểm định hình thức thiết kế phần cứng-
dc.typeThesis-
Appears in Collections:Ths-Điện tử viễn thông

Files in This Item:
Thumbnail
  • 000000272312.pdf
      Restricted Access

    • Size : 2,81 MB

    • Format : Adobe PDF

    • View AbstractRequest a copy
    Thumbnail
  • 000000272312-TT.pdf
      Restricted Access

    • Size : 102,54 kB

    • Format : Adobe PDF

    • View AbstractRequest a copy
    Show simple item record


    Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.