FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems Editat de Eckehard Schnieder et al. 29 sep 2014 Paperback Preț: 1215.70 lei 1482.56 lei 43-57 zile -18%