Formal methods in manufacturing / 
edited by Javier Campos, Carla Seatzu, and Xiaolan Xie 
 - Boca Rotan :  CRC Press,  2014 
 - xviii, 698 p. :  ill. ;  26 cm. 
 - Industrial information technology series .
 - Industrial information technology series .
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9781466561557 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Manufacturing processes--Mathematical models