Model Checking Software
Đã lưu trong:
Príomhúdar: | Godefroid, Patrick |
---|---|
Formáid: | Leabhar |
Teanga: | English |
Foilsithe: |
Springer Berlin Heidelberg
2020
|
Ábhair: | |
Rochtain Ar Líne: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82918 |
Clibeanna: |
Cuir Clib Leis
Gan Chlibeanna, Bí ar an gcéad duine leis an taifead seo a chlibeáil!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
Míreanna Comhchosúla
-
Model Checking Software
le: Bosnacki, Dragan, et al.
Foilsithe: (2020) -
Model Checking Software
Foilsithe: (2020) -
Models in Software Engineering
le: Kühne, Thomas
Foilsithe: (2020) -
Handbook of Model Checking
le: Clarke, Edmund M., et al.
Foilsithe: (2020) -
Model-Driven Software Development
le: Beydeda, Sami, et al.
Foilsithe: (2020)