Automated Technology for Verification and Analysis

Författare
Zhiming Liu
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer Berlin Heidelberg 2009 Utgivningsland okänt / Ej specificerat