Reihe Embedded SystemsI Tagungen und BerichteBücher × Development of Automatic Program Verification for Continuous Function Chart based on Model Checking Awang Noor Indra WardanaKassel University PressSoftcover200929,00 € Anwendbarkeit von Methoden und Werkzeugen des konventionellen Softwareengineering zur Modellierung und Programmierung vo Andreas David FriedrichKassel University PressBuch200929,00 € Automation & Embedded SystemsEffizienzsteigerung im EngineeringKassel University PressBuch200914,00 € Spezifikation und Anwendung einer Modellierungssprache für die Automatisierungstechnik auf Basis der Unified Modeling La Uwe KatzkeKassel University PressBuch200929,00 €74 Treffer 1 2 3 4 5 6 7 8