Current Trends in Hardware Verification and Automated Theorem Proving

Författare
Graham Birtwistle
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer 1989 Utgivningsland okänt / Ej specificerat
Flera identiska utgåvor hittades, dom har slagits ihop i listan ovan