Yazar
Andre Platzer
6 cilt bulundu.
Cilt sonuçları
Logical Analysis Of Hybrid Systems Proving Theorems For Complex Dynamics
Andre Platzer · Springer
Sayfa sayısı yok · 2010
Logic design / Computer science / Artificial intelligence / System analysis / Engineering
Formal Methods
André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi · Springer
625 sayfa · 2024
Kategori yok