Formal methods in manufacturing 
edited by Javier Campos, Carla Seatzu, Xiaolan Xie 
 - Boca Raton, FL  CRC Press  [2014] 
 - xviii, 698 pages : illustrations ; 26 cm 
<br/><br/> Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9781466561557 
<br/><br/><label>ISSN: </label>2013048177 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Manufacturing processes - Mathematical models<br/>TECHNOLOGY & ENGINEERING / Electrical<br/>TECHNOLOGY & ENGINEERING / Electronics / General<br/>TECHNOLOGY & ENGINEERING / Manufacturing
<br/><br/><label>Dewey Class. No.: </label>670 CAM