Formal Methods in Manufacturing Systems: Recent Advances (Advances in Civil and Industrial Engineering) - Hardcover

Hardcover

ISBN 10: 1466640340 ISBN 13: 9781466640344

Publisher: Idea Group,U.S., 2013

Synopsis

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.

About this title

About the Author

Zhiwu Li, Xidian University, People’s Republic of China.

Abdulrahman A. Mirza has been a faculty member in the IS Department, College of Computer and Information Sciences, King Saud University (KSU) since 1997. He has also been acting as the CIO at the King Abdullah Foundation for Developmental Housing since May of 2005. Dr. Mirza is also cooperating with the King Saud University for health sciences and teaching courses in their Master’s of Health Informatics programme. Between 2003 and 2005 Dr. Mirza was appointed the chairman of the IS Department at KSU. During the academic year of 2002/2003 he spent a year at DePaul University as a senior fulbright scholar, where he conducted cooperative research activities. His other experiences include teaching positions at Knowledge Systems Institute and Oakton Community College between 1995 and 1997. Dr. Mirza also worked in the industry as an applications developer between January 1996 and July 1997 at Genesis International, Inc. Dr. Mirza received his PhD in computer science from Illinois Institute of Technology (1995). His MS in operations research and management science and BS in computer science were both attained from George Mason University in 1990 and 1988 respectively.

Edition details

• Publisher: Idea Group,U.S.
• Publication date: 2013
• Language: English
• ISBN 10: 1466640340
• ISBN 13: 9781466640344
• Binding: Hardcover
• Number of pages: 356
• Editor: Li Zhiwu, Al-Ahmari Abdulrahman M.