Yazar
Vctor Braberman
1 cilt bulundu.
Cilt sonuçları
Formal Modeling and Analysis of Timed Systems
Vctor Braberman, Laurent Fribourg · Springer Berlin / Heidelberg
275 sayfa · 2013
Computer simulation / System design / Machine theory / Software engineering / Computer science