Formal methods in manufacturing / edited by Javier Campos, Carla Seatzu, Xiaolan Xie.

Illustrated with real-life manufacturing examples, Formal Methods in Manufacturing provides state-of-the-art solutions to common problems in manufacturing systems. Assuming some knowledge of discrete event systems theory, the book first delivers a detailed introduction to the most important formalis...

Full description

Bibliographic Details

Online Access:	Full Text (via Taylor & Francis)
Other Authors:	Campos, Javier, 1963- (Editor), Seatzu, Carla (Editor), Xie, Xiaolan (Editor)
Format:	eBook
Language:	English
Published:	Boca Raton : CRC Press, [2014]
Series:	Industrial information technology series.
Subjects:	Manufacturing processes > Mathematical models.