Javier Campos; Carla Seatzu; Xiaolan Xie

Formal Methods in Manufacturing - Taylor and Francis 2014

9781315216140

EBOOK