Formal Methods

Guardado en:
Detalles Bibliográficos
Autores principales: Havelund, Klaus, Peleska, Jan, Roscoe, Bill, Vink, Erik de
Formato: Libro
Lenguaje:English
Publicado: Springer International Publishing 2020
Materias:
Acceso en línea:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/87854
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt