Catalog

Print Record Preview

Catalog Search




Print Now | Return

  1. Bib ID# 26143
    ISBN: 9781447152606
    UPC: 10.1007/978-1-4471-5260-6
    Title: Using Event-B for Critical Device Software Systems
    Author: Singh, Neeraj Kumar.
    Publication Info:
    Item Type: Language material

Additional Resources