Automatic Methods for the Refinement of System Models: From the Specification to the Implementation

Författare
Julia Seiter
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer 2017 Utgivningsland okänt / Ej specificerat