byJavier Campos,Carla Seatzu,Xiaolan Xie
Illustrated with real-life manufacturing examples, Formal Methods in Manufacturing provides state-of-the-art solutions to common problems in manufacturing syste...