FM 2008: Formal Methods
Sparad:
Huvudupphovsmän: | Cuellar, Jorge, Maibaum, Tom |
---|---|
Materialtyp: | Bok |
Språk: | English |
Publicerad: |
Springer Berlin Heidelberg
2020
|
Ämnen: | |
Länkar: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81632 |
Taggar: |
Lägg till en tagg
Inga taggar, Lägg till första taggen!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
Liknande verk
-
FM 2009: Formal Methods
Publicerad: (2020) -
FM 2005: Formal Methods
Publicerad: (2020) -
Formal Methods and Testing
av: Hierons, Robert M., et al.
Publicerad: (2020) -
Formal Methods for Components and Objects
av: Boer, Frank S. de, et al.
Publicerad: (2020) -
Formal Methods for Components and Objects
av: Boer, Frank S. de, et al.
Publicerad: (2020)