FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems Editat de Eckehard Schnieder et al. 23 feb 2011 Hardback Preț: 1173.68 lei 1431.32 lei 6-8 săpt. -18%