Biblioteca da Universidade do Minho

Your cart is empty.
Reactive systems : modelling, specification and verification / Luca Aceto... [et al.]

Reactive systems : modelling, specification and verification / Luca Aceto... [et al.] . - Cambridge : Cambridge University, 2007 . - XVI, 284 p. : il. 26 cm
978-0-521-87546-2 Encadernado

519.6