Formal methods in manufacturing

• Other Authors: Campos Laclaustra, Javier, 1963- (Editor), Seatzu, Carla, 1971- (Editor), Xie, Xiaolan (Editor)
• Format: Book
• Language: English
• Published: Boca Raton : CRC Press, c2014
• Series: Industrial information technology
• Subjects: výrobní systémy; automatizované výrobní systémy; řídicí systémy; teorie systémů; modelování a simulace; manufacturing systems; automated manufacturing systems; control systems; system theory; modeling and simulation; kolektivní monografie; collective monographs
• ISBN: 9781466561557
• Physical Description: xviii, 698 s., [12] s. obr. příl. : il. ; 26 cm

"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 fo...