Catalog

Print Record Preview

Catalog Search




Print Now | Return

  1. Bib ID# 41819
    ISBN: 9783642309823
    UPC: 10.1007/978-3-642-30982-3
    Title: Formal Methods for Model-Driven Engineering12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures /
    Author: Bernardo, Marco.
    Publication Info:
    Item Type: Language material

Additional Resources