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

XEM & TẢI

15

Năm xuất bản
2015
Tác giả
Đậu, Quốc Toản
Xem chi tiết metadata

Hiển thị chi tiết


Năm xuất bản
2015
Tác giả
Đậu, Quốc Toản
Xem chi tiết metadata

Hiển thị chi tiết

XEM MÔ TẢ

16

XEM & TẢI

15

Tóm tắt

Từ khoá
Kỹ thuật phần mềm, Kiểm chứng phần mềm, Công nghệ thông tin
Trích dẫn
47 tr.
Nhà xuất bản
Đại học Quốc gia Hà Nội
Trong bộ sưu tập: Luận văn - Luận án tóm tắt (LIC)
Ảnh bìa
  • 00050005799.pdf

    • Dung lượng : 189,25 kB

    • Định dạng : Adobe PDF

    • View : 0
    • Download : 15
    • Xem trực tuyếnTải tài liệu

    Thống kê truy cập

      Readership Map

      +
      −
      ABSTRACTS VIEWS

      46555719

      VIEWS & DOWNLOAD

      28363231

      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...