Formal Methods for Discrete-Time Dynamical Systems

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Belta, Calin, Yordanov, Boyan, Gol, Ebru Aydin
Médium: Kniha
Jazyk:English
Vydáno: Springer International Publishing 2020
Témata:
On-line přístup:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83611
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt