ABZ 2014: The Landing Gear Case Study
53.49 EUR
Ein praxisnahes Werk über Flugzeugantriebssysteme, das Fallstudien aus der vierten internationalen Konferenz zu abstrakten Zustandsmaschinen präsentiert und die Nutzung von Alloy, B, TLA+ sowie VDM erklärt.