ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and ... Computer and Information Science, Band 433)

Ein praxisorientiertes Buch über Flugzeugantriebssysteme, das Fallstudien aus der vierten internationalen Konferenz zu abstrakten Zustandsmaschinen v ...

Allgemein

Marke
Springer International Publishing
ISBN
Springer International Publishing 331907511X
MPN
Springer International Publishing 47 black & white illustrations, biograph

Eigenschaften

Menü