Integrated Formal Methods
Tallennettuna:
Päätekijät: | Polikarpova, Nadia, Schneider, Steve |
---|---|
Aineistotyyppi: | Kirja |
Kieli: | English |
Julkaistu: |
Springer International Publishing
2020
|
Aiheet: | |
Linkit: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81377 |
Tagit: |
Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
Samankaltaisia teoksia
-
Integrated Formal Methods
Tekijä: Furia, Carlo A., et al.
Julkaistu: (2020) -
Integrated Formal Methods
Tekijä: Ahrendt, Wolfgang, et al.
Julkaistu: (2020) -
Formal Methods
Tekijä: Havelund, Klaus, et al.
Julkaistu: (2020) -
NASA Formal Methods
Tekijä: Barrett, Clark, et al.
Julkaistu: (2020) -
Software Engineering and Formal Methods
Tekijä: Cimatti, Alessandro, et al.
Julkaistu: (2020)