Theories of Programming and Formal MethodsJean-Raymond Abrial (auth.), Zhiming Liu & 2 more2013PDF7.9 MBEN
Safety Theory and Control Technology of High Speed Train Operation 1st Edition Junfeng Wang Junfeng Wangsjmdjrwbp956