Ứng dụng của Spin để kiểm chứng sự tuân thủ thể thức tương tác của chương trình : Luận văn ThS. Công nghệ thông tin: 60 48 01 03

Ứng dụng của Spin để kiểm chứng sự tuân thủ thể thức tương tác của chương trình : Luận văn ThS. Công nghệ thông tin: 60 48 01 03

Chương 1: Mở đầu. Chương 2: Cơ sở lý thuyết. Chương 3: Bộ công cụ kiểm chứng mô hình spin và bài toán Deadlook. Chương 4: Kiểm chứng sự tuân thủ thể thức tương tác của chương trình bằng spin. Chương 5: Kết luận và hướng phát triển.

Saved in:
Bibliographic Details
Main Author: Hoàng, Văn Thủy
Other Authors: Đặng Văn Hưng
Language:Vietnamese
Published: Trường Đại Học Công nghệ 2017
Online Access:http://repository.vnu.edu.vn/handle/VNU_123/43224
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Vietnam National University, Hanoi
Language: Vietnamese
id oai:112.137.131.14:VNU_123-43224
record_format dspace
spelling oai:112.137.131.14:VNU_123-432242018-07-13T03:38:38Z Ứng dụng của Spin để kiểm chứng sự tuân thủ thể thức tương tác của chương trình : Luận văn ThS. Công nghệ thông tin: 60 48 01 03 Hoàng, Văn Thủy Đặng Văn Hưng Chương 1: Mở đầu. Chương 2: Cơ sở lý thuyết. Chương 3: Bộ công cụ kiểm chứng mô hình spin và bài toán Deadlook. Chương 4: Kiểm chứng sự tuân thủ thể thức tương tác của chương trình bằng spin. Chương 5: Kết luận và hướng phát triển. 2017-05-17T08:20:13Z 2017-05-17T08:20:13Z 2014 Hoàng, V. T. (2014). Ứng dụng của Spin để kiểm chứng sự tuân thủ thể thức tương tác của chương trình. Luận văn thạc sỹ, Đại học Quốc gia Hà Nội, Việt Nam 00050004775 http://repository.vnu.edu.vn/handle/VNU_123/43224 vi Luận văn Ngành Vật liệu và Linh kiện nano (Full) 64 tr. + CD-ROM + Tóm tắt application/pdf Trường Đại Học Công nghệ
institution Vietnam National University, Hanoi
building VNU Library & Information Center
country Vietnam
collection VNU Digital Repository
language Vietnamese
description Chương 1: Mở đầu. Chương 2: Cơ sở lý thuyết. Chương 3: Bộ công cụ kiểm chứng mô hình spin và bài toán Deadlook. Chương 4: Kiểm chứng sự tuân thủ thể thức tương tác của chương trình bằng spin. Chương 5: Kết luận và hướng phát triển.
author2 Đặng Văn Hưng
author_facet Đặng Văn Hưng
Hoàng, Văn Thủy
author Hoàng, Văn Thủy
spellingShingle Hoàng, Văn Thủy
Ứng dụng của Spin để kiểm chứng sự tuân thủ thể thức tương tác của chương trình : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
author_sort Hoàng, Văn Thủy
title Ứng dụng của Spin để kiểm chứng sự tuân thủ thể thức tương tác của chương trình : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
title_short Ứng dụng của Spin để kiểm chứng sự tuân thủ thể thức tương tác của chương trình : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
title_full Ứng dụng của Spin để kiểm chứng sự tuân thủ thể thức tương tác của chương trình : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
title_fullStr Ứng dụng của Spin để kiểm chứng sự tuân thủ thể thức tương tác của chương trình : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
title_full_unstemmed Ứng dụng của Spin để kiểm chứng sự tuân thủ thể thức tương tác của chương trình : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
title_sort ứng dụng của spin để kiểm chứng sự tuân thủ thể thức tương tác của chương trình : luận văn ths. công nghệ thông tin: 60 48 01 03
publisher Trường Đại Học Công nghệ
publishDate 2017
url http://repository.vnu.edu.vn/handle/VNU_123/43224
_version_ 1680966935201710080

Similar Items