Formal methods in manufacturing - Campos, J.; Seatzu, Carla; Xie, Xiaolan (Boca Raton CRC Press, 2014)
Includes bibliographical references and index.
Keywords: Manufacturing processes -- Mathematical models