Catalog

Print Record Preview

Catalog Search




Print Now | Return

  1. Bib ID# 4653
    ISBN: 9783642142611
    UPC: 10.1007/978-3-642-14261-1
    Title: FORMS/FORMAT 2010Formal Methods for Automation and Safety in Railway and Automotive Systems /
    Author: Schnieder, Eckehard.
    Publication Info: Springer Berlin Heidelberg, 2011.
    Item Type: Language material

Additional Resources