Đang hiển thị 1 - 3 kết quả của 3 cho tìm kiếm '"logic"', thời gian truy vấn: 0.06s Tinh chỉnh kết quả
1
Logics and Languages for Reliability and Security
Bỡi Esparza, Javier, Spanfelner, Bernd, Grumberg, Orna
Được phát hành 2013
“... at the 2009 summer school Formal Logical Methods for System Security and Correctness. The topics include...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
2
Formal Logical Methods for System Security and Correctness
Bỡi Grumberg, Orna, Nipkow, Tobias, Pfaller, Christian
Được phát hành 2013
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
3
Tools and Algorithms for the Construction and Analysis of Systems
Bỡi Grumberg, Orna, Huth, Michael
Được phát hành 2020
Những chủ đề: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
Công cụ tìm kiếm: Nhận nguồn cấp dữ liệu RSS — Tìm kiếm email này — Lưu tìm kiếm