Scalable Techniques for Formal Verification electronic resource / by Sandip Ray

Författare
Sandip. author. Ray
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat