Formal Aspects of Component Software
Gorde:
Egile Nagusiak: | Bae, Kyungmin, Ölveczky, Peter Csaba |
---|---|
Formatua: | Liburua |
Hizkuntza: | English |
Argitaratua: |
Springer International Publishing
2020
|
Gaiak: | |
Sarrera elektronikoa: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/88073 |
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
-
Formal Aspects of Component Software
nork: Proença, José, et al.
Argitaratua: (2020) -
Software Engineering and Formal Methods
nork: Cimatti, Alessandro, et al.
Argitaratua: (2020) -
Software Engineering and Formal Methods
nork: Johnsen, Einar Broch, et al.
Argitaratua: (2020) -
Formal Approaches to Software Testing
Argitaratua: (2020) -
Formal Methods for Components and Objects
Argitaratua: (2020)