Eckehard Schnieder - FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems

Brand : Springer, Binding : Taschenbuch, Edition : 2011, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 272, publicationDate : 2014-09-29, releaseDate : 2014-09-29, publishers : Eckehard Schnieder, Geza Tarnai, ISBN : 3642427162 ...