ABZ 2014: The Landing Gear Case Study
54.99 EUR 53.49 EUR
3% Off
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.