*Software Engineering and Formal Methods * - SEFM 2013 Collocated Workshops: BEAT2 WS-FMDS FM-RAIL-Bok MoKMaSD and OpenCert Madrid Spain September 23-24 2013 Revised Selected Papers. Auflage 2014 / Taschenbücher für 53.49€ / Aus dem Bereich: Bücher-English, International-Gebundene Ausgaben Taschenbücher
Hugendubel