TY  - BOOK
AU  - Campos, J
AU  - Seatzu, Carla
AU  - Xie, Xiaolan
TI  - Formal methods in manufacturing
SN  - 9781466561557
SN  - 201304817
U1  - 670 CAM 
PY  - 2014///]
CY  - Boca Raton, FL
PB  - CRC Press
KW  - Manufacturing processes - Mathematical models
KW  - TECHNOLOGY & ENGINEERING / Electrical
KW  - TECHNOLOGY & ENGINEERING / Electronics / General
KW  - TECHNOLOGY & ENGINEERING / Manufacturing
N1  - Includes bibliographical references and index
ER  -