Vista normal
Vista MARC
Logic design. (Término temático)
Machine generated authority record.
Work cat.: (UQROO)61551: Horvth, Andrs. editor. 117329, Formal Methods and Stochastic Models for Performance Evaluation
Machine generated authority record.
Work cat.: (UQROO)61551: Horvth, Andrs. editor. 117329, Formal Methods and Stochastic Models for Performance Evaluation