Đang hiển thị 1 - 20 kết quả của 162 cho tìm kiếm '"Logics and Meanings of Programs"', 查詢時間: 0.21s Tinh chỉnh kết quả
1
Model-Based Testing of Reactive Systems
出版 2020
主題: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
獲取全文
加到收藏夾
Đã lưu trong:
2
Hardware and Software: Verification and Testing
主題: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
獲取全文
加到收藏夾
Đã lưu trong:
3
Unconventional Computation and Natural Computation
主題: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
獲取全文
加到收藏夾
Đã lưu trong:
4
Logic Based Program Synthesis and Transformation
出版 2020
主題: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
獲取全文
加到收藏夾
Đã lưu trong:
5
Abstraction, Reformulation and Approximation
主題: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
獲取全文
加到收藏夾
Đã lưu trong:
6
Computer Aided Verification
主題: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
獲取全文
加到收藏夾
Đã lưu trong:
7
Concurrency, Graphs and Models
主題: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
獲取全文
加到收藏夾
Đã lưu trong:
8
Unconventional Computation and Natural Computation
由 Stepney, Susan, Verlan, Sergey
出版 2020
主題: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
獲取全文
加到收藏夾
Đã lưu trong:
9
Advances in Computer Science - ASIAN 2007. Computer and Network Security
由 Cervesato, Iliano
出版 2020
主題: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
獲取全文
加到收藏夾
Đã lưu trong:
10
Hardware and Software: Verification and Testing
由 Yorav, Karen
出版 2020
主題: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
獲取全文
加到收藏夾
Đã lưu trong:
11
Model-Based Safety and Assessment
主題: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
獲取全文
加到收藏夾
Đã lưu trong:
12
Dependable Software Engineering. Theories, Tools, and Applications
主題: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
獲取全文
加到收藏夾
Đã lưu trong:
13
Static Analysis
由 Ranzato, Francesco
出版 2020
主題: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
獲取全文
加到收藏夾
Đã lưu trong:
14
Integrated Formal Methods
由 Davies, Jim, Gibbons, Jeremy
出版 2020
主題: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
獲取全文
加到收藏夾
Đã lưu trong:
15
Quantitative Evaluation of Systems
主題: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
獲取全文
加到收藏夾
Đã lưu trong:
16
Formal Modeling and Analysis of Timed Systems
主題: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
獲取全文
加到收藏夾
Đã lưu trong:
17
Types for Proofs and Programs
出版 2020
主題: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
獲取全文
加到收藏夾
Đã lưu trong:
18
Formal Modeling and Analysis of Timed Systems
由 Pettersson, Paul, Yi, Wang
出版 2020
主題: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
獲取全文
加到收藏夾
Đã lưu trong:
19
Refinement
由 Derrick, John, Boiten, Eerke
出版 2020
主題: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
獲取全文
加到收藏夾
Đã lưu trong:
20
Abstract State Machines, B and Z
出版 2020
主題: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
獲取全文
加到收藏夾
Đã lưu trong:
檢索工具: 得到RSS訂閱 — 推薦此搜索 — 保存搜索