loading
Luận án, luận văn

Pushdown automata and inclusion problems: Doctor of Philosophy in Information science/ Nguyen Van Tang

Tác giả : Nguyen Van Tang

Năm xuất bản : 2008

Nơi xuất bản : Japan

Mô tả vật lý : 83 p.: fig.; 30 cm 1 resume

Số phân loại : 005.14

Chủ đề : 1. $2Bộ TK TVQGPhần mềm máy tính. 2. 7. 3. 7. 4. Kiểm thử tự động.

Chia sẻ

Thông tin chi tiết

Tóm tắt :

Giải quyết bài toán mô hình hoá và kiểm chứng tự động các chương trình đệ quy với tính chất có thẻ gắn kết. Các bài toán kiểm chứng và phân tích chươgn trình đệ quy được mô hình hoá thành bài toán bao hàm ngôn ngữ của các lớp automat đẩy xuống. Đề xuất thuật toán hiệu quả và cài đặt chương trình để giải bài toán bao hàm cho các lớp automát nêu trên
Chia sẻ


Hiển thị MARC

 Thông tin dữ liệu nguồn

 Thư viện  Ký hiệu xếp giá  Dữ liệu nguồn
Thư viện Quốc gia Việt Nam LA08.0966.1, LA08.0966.2, LA08.0966.3
 https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-665147.html

 

 Tài liệu cùng tác giả

placeholder+image

Sách, tuyển tập

Địa chí làng An Xá/ Đặng Thị Kim Liên (ch.b.), Đỗ Duy Văn, Nguyễn Văn Tăng

Tác giả : Đặng Thị Kim Liên (ch.b.), Đỗ Duy Văn, Nguyễn Văn Tăng

Nhà xuất bản : Nxb. Nghệ An

Năm xuất bản : 2016

placeholder+image

Sách, tuyển tập

Làng Phú Lễ/ Đỗ Đức Thành, Đặng Văn Sam, Kiều Thị Quỳ... ; S.t., b.s.: Kiều Cao Lộ, Kiều Cao Chí. Q.2

Tác giả : Đỗ Đức Thành, Đặng Văn Sam, Kiều Thị Quỳ... ; S.t., b.s.: Kiều Cao Lộ, Kiều Cao Chí.

Nhà xuất bản : Lao động

Năm xuất bản : 2018

placeholder+image

Luận án, luận văn

Nghiên cứu sán lá (trematoda) ký sinh ở một số loài cá biển ven bờ từ Hải Phòng đến Quảng Bình: LATS Sinh học: 62.41.01.05/ Nguyễn Văn Tăng

Tác giả : Nguyễn Văn Tăng

Năm xuất bản : 2016

placeholder+image

Sách, tuyển tập

Tầm quan trọng của công tác đảm bảo chất lượng phần mềm/ Nguyễn Văn Tăng, Nguyễn Hữu Quốc, Lê Nhật

Tác giả : Nguyễn Văn Tăng, Nguyễn Hữu Quốc, Lê Nhật

placeholder+image

Sách, tuyển tập

Quảng Bình - Ẩn tích thời gian: = Quang Binh the hiding of time/ Văn Tăng, Văn Lạc, Lê Thị Hoài Hương... ; B.s.: Văn Lợi... T.3

Tác giả : Văn Tăng, Văn Lạc, Lê Thị Hoài Hương... ; B.s.: Văn Lợi...

Nhà xuất bản : Nxb. Thuận Hoá

Năm xuất bản : 2014

 

 Tài liệu cùng danh mục chủ đề

placeholder+image

Sách, tuyển tập

Continuous architecture: Sustainable architecture in an agile and cloud-centric world/ Murat Erder, Pierre Pureur

Tác giả : Murat Erder, Pierre Pureur

Nhà xuất bản : Elsevier/Morgan Kaufmann

Năm xuất bản : 2016

placeholder+image

Sách, tuyển tập

Giáo trình ngôn ngữ lập trình C/ Phan Thanh Toàn, Nguyễn Thế Lộc

Tác giả : Phan Thanh Toàn, Nguyễn Thế Lộc

Nhà xuất bản : Đại học Sư phạm

Năm xuất bản : 2018

placeholder+image

Luận án, luận văn

Các kỹ thuật sinh tự động dữ liệu kiểm thử dựa trên các biểu đồ UML: LATS Công nghệ thông tin: 62.48.01.03/ Vũ Thị Đào

Tác giả : Vũ Thị Đào

Năm xuất bản : 2018

placeholder+image

Sách, tuyển tập

Building intelligent information systems software: Introducing the Unit Modeler development technology/ Thomas D. Feigenbaum

Tác giả : Thomas D. Feigenbaum

Nhà xuất bản : Elsevier/Morgan Kaufmann

Năm xuất bản : 2016

placeholder+image

Sách, tuyển tập

Kiểm thử nâng cao: Kiểm thử trong Scrum: Hướng dẫn dành cho bảo đảm chất lượng phần mềm trong thế giới Agile/ Tilo Linz ; Hoàng Liên Sơn dịch

Tác giả : Tilo Linz ; Hoàng Liên Sơn dịch

Nhà xuất bản : Bách khoa Hà Nội ; Trường Đại học FPT

Năm xuất bản : 2018