Formal methods in manufacturing /

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

Corporate Author:	Taylor & Francis
Other Authors:	Campos, Javier, 1963- (Editor), Seatzu, Carla (Editor), Xie, Xiaolan (Editor)
Format:	eBook
Language:	English
Language Notes:	English.
Published:	Boca Raton : CRC Press, [2014]
Series:	Industrial information technology series.
Subjects:	Manufacturing processes > Mathematical models. Fabrication > Modèles mathématiques. TECHNOLOGY & ENGINEERING > Industrial Engineering. TECHNOLOGY & ENGINEERING > Industrial Technology. TECHNOLOGY & ENGINEERING > Manufacturing. TECHNOLOGY & ENGINEERING > Technical & Manufacturing Industries & Trades. Manufacturing processes > Mathematical models Electronic books.
Online Access:	Connect to the full text of this electronic book