• Medientyp: Buch; Hochschulschrift
  • Titel: Domain-specific modelling of railway control systems with integrated verification and validation
  • Beteiligte: Mewes, Kirsten [VerfasserIn]
  • Erschienen: München: Dr. Hut, 2010
  • Erschienen in: Informatik
  • Ausgabe: 1. Aufl.
  • Umfang: VIII, 446 S.; Ill., graph. Darst; 240 mm x 170 mm, 910 gr
  • Sprache: Englisch; Deutsch
  • ISBN: 9783868533590
  • RVK-Notation: ST 620 : Technik
    ZO 5130 : Sicherungswesen
  • Schlagwörter: Zugbeeinflussung > Modellgetriebene Entwicklung
  • Entstehung:
  • Hochschulschrift: Zugl.: Bremen, Univ., Diss., 2009
  • Anmerkungen:

Exemplare

(0)
  • Signatur: R2020 8 2315
  • Barcode: 32986411
  • Status: Ausleihbar, bitte bestellen
Bereitstellung voraussichtlich: 1 - 2 Tage nach Bestellung