Formal Methods in Manufacturing Systems Recent Advances
Formal Methods in Manufacturing Systems: Recent Advances by ZhiWu Li, published by Engineering Science Reference in 2013, offers an in-depth exploration of contemporary manufacturing techniques and formal methodologies. Spanning 507 pages, this book addresses the evolving technologies in mass production that demand processes capable of adapting to market changes, particularly focusing on small batches of multiple products rather than traditional large, single-product lines.
Readers will find a comprehensive investigation into the challenges and solutions presented by flexible manufacturing systems. The text delves into topics such as CAD-CAM, software development, and discrete mathematics, making it a valuable resource for industrial engineers and students seeking a detailed understanding of current trends in manufacturing tools. This edition is part of the Advances in Civil and Industrial Engineering series, reflecting its relevance in the fields of technology and engineering.
Official synopsis Publisher
Evolving technologies in mass production have led to the development of advanced techniques in the field of manufacturing. These technologies can quickly and effectively respond to various market changes, necessitating processes that focus on small batches of multiple products rather than large, single-product lines. Formal Methods in Manufacturing Systems: Recent Advances explores this 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. This book will be of particular use to industrial engineers and students of the field who require a detailed understanding of current trends and developments in manufacturing tools. This book is part of the Advances in Civil and Industrial Engineering series collection.
Publisher
Topics
FAQ
What is “Formal Methods in Manufacturing Systems Recent Advances” about?
Who is the author of “Formal Methods in Manufacturing Systems Recent Advances”?
When was “Formal Methods in Manufacturing Systems Recent Advances” published?
What is the ISBN for “Formal Methods in Manufacturing Systems Recent Advances”?
What are the book details (language, pages, edition)?
