Reactive systems

modelling, specification and verification
Forfatter:

Reactive systems (Engelsk)

Grundigt bearbejdet (Engelsk)
Bognummer: 
644696
Nota udgivelsesår: 
2020
Udgave: 
Cambridge University, 2007
ISBN: 
9780521875462