Advanced
Advanced

Nghiên cứu khả năng chuyển đổi giữa các đặc tả hình thức và ứng dụng trong kiểm chứng phần mềm

http://repository.vnu.edu.vn/handle/VNU_123/5109

ABSTRACTS VIEWS

16

VIEWS & DOWNLOAD

15

Issue Date
2015
Authors
Đậu, Quốc Toản
Show Full Metadata

Show full item record


Issue Date
2015
Authors
Đậu, Quốc Toản
Show Full Metadata

Show full item record

ABSTRACTS VIEWS

16

VIEWS & DOWNLOAD

15

Abstract

Keywords
Kỹ thuật phần mềm, Kiểm chứng phần mềm, Công nghệ thông tin
Citation
47 tr.
Publisher
Đại học Quốc gia Hà Nội
Appears in Collections:Luận văn - Luận án tóm tắt (LIC)
Thumbnail
  • 00050005799.pdf

    • Size : 189,25 kB

    • Format : Adobe PDF

    • View : 0
    • Download : 15
    • ViewView/Open



      Readership Map

      +
      −
      ABSTRACTS VIEWS

      46408007

      VIEWS & DOWNLOAD

      28298310

      Content Distribution

    Nghiên cứu khả năng chuyển đổi giữa các đặc tả hình thức và ứng dụng trong kiểm chứng phần mềm

    http://repository.vnu.edu.vn/handle/VNU_123/5109

    ABSTRACTS VIEWS

    16

    VIEWS & DOWNLOAD

    15

    Issue Date
    2015
    Authors
    Đậu, Quốc Toản
    Show Full Metadata

    Show full item record


    Issue Date
    2015
    Authors
    Đậu, Quốc Toản
    Show Full Metadata

    Show full item record

    ABSTRACTS VIEWS

    16

    VIEWS & DOWNLOAD

    15

    Abstract

    Keywords
    Kỹ thuật phần mềm, Kiểm chứng phần mềm, Công nghệ thông tin
    Citation
    47 tr.
    Publisher
    Đại học Quốc gia Hà Nội
    Appears in Collections:Luận văn - Luận án tóm tắt (LIC)
    Thumbnail
  • 00050005799.pdf

    • Size : 189,25 kB

    • Format : Adobe PDF

    • View : 0
    • Download : 15
    • ViewView/Open



    Loading...