Formal Methods in Manufacturing - Campos, Javier (Editor), and Seatzu, Carla (Editor), and Xie, Xiaolan (Editor)
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency
Cash for Textbooks

Textbook Buyback

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 formalisms used for the modeling, analysis, and control of manufacturing systems (including Petri nets, automata, and max-plus algebra), explaining the advantages of each formal method. It then employs the different formalisms to solve ...

Formal Methods in Manufacturing 2017, CRC Press, London

ISBN-13: 9781138074293


Formal Methods in Manufacturing 2014, CRC Press Inc, Bosa Roca

ISBN-13: 9781466561557