Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Guardado en:
Detalles Bibliográficos
Formato: Libro
Lenguaje:English
Publicado: Springer Berlin Heidelberg 2020
Materias:
Computer Science
Computer Communication Networks
Logics and Meanings of Programs
Acceso en línea:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82433
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

Ejemplares similares

Ejemplares similares