Campos, Javier Formal Methods in Manufacturing / Campos, Javier - 1st edition - CRC Press , 2014 ISBN: 9781138074293 Subjects--Topical Terms: Engineering Dewey Class. No.: 658.5 / CAM