Formal Methods for Industrial Critical Systems

Författare
Frédéric Lang
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer International Publishing 2014 Utgivningsland okänt / Ej specificerat