Zobrazuji výsledky 1 - 20 z 162 pro vyhledávání '"Logics and Meanings of Programs"', doba hledání: 0,12 s. Upřesnit hledání
1
Model-Based Testing of Reactive Systems
Vydáno 2020
Témata: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
2
Hardware and Software: Verification and Testing
Témata: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
3
Unconventional Computation and Natural Computation
Autor Patitz, Matthew J., Stannett, Mike
Vydáno 2020
Témata: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
4
Logic Based Program Synthesis and Transformation
Vydáno 2020
Témata: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
5
Abstraction, Reformulation and Approximation
Autor Zucker, Jean-Daniel, Saitta, Lorenza
Vydáno 2020
Témata: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
6
Computer Aided Verification
Autor Chockler, Hana, Weissenbacher, Georg
Vydáno 2020
Témata: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
7
Concurrency, Graphs and Models
Témata: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
8
Unconventional Computation and Natural Computation
Autor Stepney, Susan, Verlan, Sergey
Vydáno 2020
Témata: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
9
Advances in Computer Science - ASIAN 2007. Computer and Network Security
Autor Cervesato, Iliano
Vydáno 2020
Témata: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
10
Hardware and Software: Verification and Testing
Autor Yorav, Karen
Vydáno 2020
Témata: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
11
Model-Based Safety and Assessment
Témata: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
12
Dependable Software Engineering. Theories, Tools, and Applications
Témata: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
13
Static Analysis
Autor Ranzato, Francesco
Vydáno 2020
Témata: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
14
Integrated Formal Methods
Autor Davies, Jim, Gibbons, Jeremy
Vydáno 2020
Témata: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
15
Quantitative Evaluation of Systems
Autor McIver, Annabelle, Horvath, Andras
Vydáno 2020
Témata: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
16
Formal Modeling and Analysis of Timed Systems
Témata: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
17
Types for Proofs and Programs
Vydáno 2020
Témata: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
18
Formal Modeling and Analysis of Timed Systems
Autor Pettersson, Paul, Yi, Wang
Vydáno 2020
Témata: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
19
Refinement
Autor Derrick, John, Boiten, Eerke
Vydáno 2020
Témata: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
20
Abstract State Machines, B and Z
Vydáno 2020
Témata: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
Vyhledávací nástroje: RSS — Poslat e-mailem — Uložit hledání