Decision Procedures electronic resource : An Algorithmic Point of View / by Daniel Kroening, Ofer Strichman

Författare
Daniel. author. Kroening
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat
Flera identiska utgåvor hittades, dom har slagits ihop i listan ovan