The Calculus of Computation Decision Procedures with Applications to Verification
Bradley,Aaron R.,
The Calculus of Computation Decision Procedures with Applications to Verification - 1st Ed. - New Delhi Springer 2010 - 366p. [08]
9788184893960
004.015 / BRA/THE
The Calculus of Computation Decision Procedures with Applications to Verification - 1st Ed. - New Delhi Springer 2010 - 366p. [08]
9788184893960
004.015 / BRA/THE