Taschenbuch. Condition: Neu. Automatic Methods for the Refinement of System Models | From the Specification to the Implementation | Julia Seiter (u. a.) | Taschenbuch | SpringerBriefs in Electrical and Computer Engineering | viii | Englisch | 2016 | Springer | EAN 9783319414799 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.