Reactive systems : modelling, specification and verification
Luca Aceto ... [et al.]
Bok Engelsk 2007
Utgitt | Cambridge : Cambridge University Press , 2007
|
---|---|
Omfang | XVI, 284 s. : ill.
|
Emner | |
ISBN | 9780521875462
|
Utgitt | Cambridge : Cambridge University Press , 2007
|
---|---|
Omfang | XVI, 284 s. : ill.
|
Emner | |
ISBN | 9780521875462
|