Catalog

Print Record Preview

Catalog Search




Print Now | Return

  1. Bib ID# 12589
    ISBN: 9781402047589
    UPC: 10.1007/978-1-4020-4758-9
    Title: A Roadmap for Formal Property Verification
    Author: DasGupta, Pallab.
    Publication Info:
    Item Type: Language material

Additional Resources