Scalable Techniques for Formal Verification

Författare
Sandip Ray
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer uuuu-uuuu Utgivningsland okänt / Ej specificerat 978-1-282-92695-0