Yazar
Marius Bozga
1 cilt bulundu.
Cilt sonuçları
Formal Modeling and Analysis of Timed Systems
Axel Legay, Marius Bozga · Springer London, Limited
258 sayfa · 2014
Computer science / Software engineering / Logic design / Computation by Abstract Devices / Logics and Meanings of Programs