Model Checking Software
Gardado en:
Formato: | Libro |
---|---|
Idioma: | English |
Publicado: |
Springer Berlin Heidelberg
2020
|
Những chủ đề: | |
Acceso en liña: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82313 |
Các nhãn: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
Títulos similares
-
Model Checking Software
Publicado: (2020) -
Models in Software Engineering
por: Giese, Holger
Publicado: (2020) -
Quality of Software Architectures Models and Architectures
Publicado: (2020) -
25 Years of Model Checking
por: Grumberg, Orna, et al.
Publicado: (2020) -
Model Checking Software
por: Godefroid, Patrick
Publicado: (2020)