Kiểm tra mô hình phần mềm sử dụng lý thuyết ÔTÔMAT BUCHI và LOGIC thời gian tuyến tính

Codice QR

Kiểm tra mô hình phần mềm sử dụng lý thuyết ÔTÔMAT BUCHI và LOGIC thời gian tuyến tính

Salvato in:

Dettagli Bibliografici
Autore principale:	Phan Thị Thái, Ninh
Altri autori:	TS. Huỳnh Quyết, Thắng
Natura:	Tesi
Lingua:	Vietnamese
Pubblicazione:	Đại học Bách khoa Hà Nội 2018
Soggetti:	Kỹ thuật phần mềm Lý thuyết ÔTÔMAT BUCHI Lý thuyết Logic
Accesso online:	http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne! !

Thư viện lưu trữ:	Trường Đại học Sư phạm - Đại học Đà Nẵng

Documenti analoghi

Các cấu trúc đại số trong lý thuyết ôtômat
di: Nguyễn Thị Hồng Nhung
Pubblicazione: (2013)

Ôtômát hữu hạn hai phía/
di: Đặng Huy Ruận

Các cấu trúc đại số trong lý thuyết ôtômat
di: Nguyễn, Thị Hồng Nhung
Pubblicazione: (2014)

Giáo trình Lý thuyết Ngôn ngữ hình thức và Ôtômát
di: Nguyễn, Thanh Bình
Pubblicazione: (2023)

Giáo trình lý thuyết ngôn ngữ hình thức và ôtômat
di: Nguyễn, Thanh Tùng
Pubblicazione: (1993)

Nhập môn ngôn ngữ và otomatic hữu hạn

Các đặc trưng của ôtômat hữu hạn mở
di: Đỗ Thị Xuân Thu
Pubblicazione: (2012)

Các đặc trưng đại số của Ôtômat liên thông mạnh
di: Bùi Đức Quang
Pubblicazione: (2011)

Thiết kế thuật toán lập lịch trên cơ sở phương pháp lắc ba lô và mô hình otomat
di: Lê Quang, Hòa
Pubblicazione: (2018)

Kiểm tra mô hình phần mềm sử dụng lý thuyết MôTôMat BuChi và Logic thời gian tuyến tính
di: Phạm Thị Thái, Ninh
Pubblicazione: (2018)

Lí thuyết tập hợp và Lôgic
di: Đậu, Thế Cấp
Pubblicazione: (2004)

Toán rời rạc
di: Đỗ, Đức Giáo
Pubblicazione: (2008)

Nhập môn lý thuyết, tập hợp và lôgíc Tài liệu dùng cho các trường Cao đẳng sư phạm và các trường Sư phạm cấp hai 10+3
di: Phan, Hữu Chân
Pubblicazione: (1977)

Lý thuyết tập hợp và lôgic
di: Đậu Thế Cấp
Pubblicazione: (2006)

Lí thuyết tập hợp và lôgic /
di: Đậu Thế Cấp
Pubblicazione: (2004)

Nhập môn tin học lý thuyết tính toán và các Ôtômat =
di: Salomaa, Arto
Pubblicazione: (1992)

Một số phương pháp giải phương trình Diophante
di: Vũ, Thị Tường Anh
Pubblicazione: (2014)

Giáo trình cơ sở logic và lý thuyết tập hợp
di: Lê, Phương Thảo
Pubblicazione: (2008)

Nhập môn lý thuyết tập hợp và logic toán Giáo trình dành cho hệ đại học tại chức đào tạo giáo viên tiểu học
di: Nguyến Văn Ngọc
Pubblicazione: (1993)

Lôgic học đại cương
di: Vương Tất Đạt
Pubblicazione: (2004)

Ngôn ngữ nhóm cô lập/
di: Lê Quốc Hán, Nguyễn Thị Bích

Logic and philosophy :
di: Hausman, Alan
Pubblicazione: (2007)

Logic học đại cương Hướng dẫn học và ôn tập qua các câu hỏi tự luận và bài tập trắc nghiệm
di: Phạm, Quỳnh
Pubblicazione: (2014)

Being logical
di: McInerny, D.Q
Pubblicazione: (2004)

Tăng cường tính tích cực của sinh viên khi giảng môn logic học /
di: Phạm Đình Nghiệm.

Tập bài giảng logic học
di: Lê, Duy Ninh
Pubblicazione: (2014)

Tập hợp và logic toán
di: Nguyễn Thanh, Hưng, et al.
Pubblicazione: (2026)

Khoa học logic bách khoa thư các khoa học triết học 1
di: G.W.F. Hegel
Pubblicazione: (2017)

Phép giao đoạn rời mềm nhị phân
di: Aslıhan, Sezgin, et al.
Pubblicazione: (2026)

Logic học :
di: Lê, Ngọc Triết
Pubblicazione: (2013)

Hegel's logic :
di: Hegel, Georg Wilhelm Friedrich
Pubblicazione: (1975)

Cơ sở lí thuyết tập hợp và logic toán Tài liệu đào tạo giáo viên tiểu học trinh độ cao đẳng và đại học sư phạm
di: Trần Diên Hiển
Pubblicazione: (2007)

The power of logic
di: Layman, C. Stephen
Pubblicazione: (2005)

The Power of Logic
di: Layman, Stephen
Pubblicazione: (2005)

Thiết kế và xây dựng bộ điều khiển logic mờ : Luận văn Thạc sĩ /
di: Phan Văn Chuân.
Pubblicazione: (2007)

Logic học và phương pháp
di: Lê, Tử Thành
Pubblicazione: (1991)

Thiết kế và xây dựng bộ điều khiển logic mờ : Tóm tắt luận văn Thạc sĩ /
di: Phan Văn Chuân.
Pubblicazione: (2007)

Kinh tế kỹ thuật mờ
di: Nguyễn, Như Phong
Pubblicazione: (2006)

Giáo trình lý thuyết tập hợp và logic toán
di: Lê, Phương Thảo
Pubblicazione: (2016)

Lôgic học
di: Vương, Tất Đạt
Pubblicazione: (2001)