Resenhas - The Calculus of Computation: Decision Procedures with Applications to Verification

Veja as resenhas sobre este livro