Model Checking Software
Gorde:
Egile nagusia: | Godefroid, Patrick |
---|---|
Formatua: | Liburua |
Hizkuntza: | English |
Argitaratua: |
Springer Berlin Heidelberg
2020
|
Gaiak: | |
Sarrera elektronikoa: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82918 |
Etiketak: |
Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
Antzeko izenburuak
-
Model Checking Software
nork: Bosnacki, Dragan, et al.
Argitaratua: (2020) -
Model Checking Software
Argitaratua: (2020) -
Models in Software Engineering
nork: Kühne, Thomas
Argitaratua: (2020) -
Handbook of Model Checking
nork: Clarke, Edmund M., et al.
Argitaratua: (2020) -
Model-Driven Software Development
nork: Beydeda, Sami, et al.
Argitaratua: (2020)