Reactive systems : modelling, specification and verification / Luca Aceto and others. electronic resource

Författare
Luca Aceto
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat