Integrated Formal Methods
Uloženo v:
Médium: | Kniha |
---|---|
Jazyk: | English |
Vydáno: |
Springer Berlin Heidelberg
2020
|
Témata: | |
On-line přístup: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82552 |
Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
Podobné jednotky
-
FM 2005: Formal Methods
Vydáno: (2020) -
Integrated Formal Methods
Autor: Davies, Jim, a další
Vydáno: (2020) -
Integrated Formal Methods
Autor: Romijn, Judi M.T., a další
Vydáno: (2020) -
Formal Modeling and Analysis of Timed Systems
Autor: Raskin, Jean-Francois, a další
Vydáno: (2020) -
Formal Modeling and Analysis of Timed Systems
Autor: Pettersson, Paul, a další
Vydáno: (2020)