[ Back to Record ]

  1. Bib ID# 35643
    ISBN: 9783540741138
    UPC: 10.1007/978-3-540-74113-8
    Title: The Calculus of ComputationDecision Procedures with Applications to Verification /
    Author: Bradley, Aaron R.
    Publication Info:
    Item Type: Language material

[ Back to Record ]