The Calculus of Computation: Decision Procedures with Applications to Verification

Verification

von: Aaron R. Bradley · Zohar Manna

Gebunden

ISBN: 978-3-540-74112-1

ISBN-10: 3-540-74112-7

Springer · 2007

S. auch:
2010TaschenbuchThe Calculus of Computation: Decision Procedures with Applications to Verification