Bradley, Aaron R.
Calculus of computation : decision procedures with applications to verification - Berlin Springer 2007 - xv, 366 p. ill.
Includes bibliographical references (p.[351]-355) and index.
3540741127 9783540741121
Computer logic.
Computer programs
681.3 / BRA
Calculus of computation : decision procedures with applications to verification - Berlin Springer 2007 - xv, 366 p. ill.
Includes bibliographical references (p.[351]-355) and index.
3540741127 9783540741121
Computer logic.
Computer programs
681.3 / BRA