Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies

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