Formal methods in manufacturing systems : recent advances / Zhiwu Li, Xidian University, China, Abdulrahman M. Al-Ahmari, King Saud University, Saudi Arabia, [editors].
Includes bibliographical references (pages 465-494) and index.
Summary:
"This book explores formal methods and the shifting paradigm through an investigation of contemporary manufacturing techniques and formal methodologies that strive to solve a variety of issues arising from a market environment that increasingly favors flexible systems over traditional ones"-- Provided by publisher.
Series:
Advances in civil and industrial engineering (ACIE) book series Premier reference source
This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.