Formal Methods Teaching

Sparad:
Bibliografiska uppgifter
Huvudupphovsmän: Dongol, Brijesh, Petre, Luigia, Smith, Graeme
Materialtyp: Bok
Språk:English
Publicerad: Springer International Publishing 2020
Ämnen:
Länkar:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/91205
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