[ Back to Record ]

  1. Bib ID# 40187
    ISBN: 9783642173363
    UPC: 10.1007/978-3-642-17336-3
    Title: Foundations of Algebraic Specification and Formal Software Development
    Author: Sannella, Donald.
    Publication Info:
    Item Type: Language material

[ Back to Record ]