Spezifikation und Generierung von Zeitlich-Logischen Eigenschaftssätzen aus Sequenzdiagrammen (Dissertation Classic)

von Martin Schweikert Taschenbuch Details (Deutschland) EAN=ISBN-13: 978-3-86624-571-6 ISBN-10: 3-86624-571-8 Winter Industries · 2012