Formal Methods for Discrete-Time Dynamical Systems

Gardado en:
Detalles Bibliográficos
Những tác giả chính: Belta, Calin, Yordanov, Boyan, Gol, Ebru Aydin
Formato: Libro
Idioma:English
Publicado: Springer International Publishing 2020
Những chủ đề:
Acceso en liña:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83611
Các nhãn: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt