Formal Methods in Manufacturing Systems
Recent Advances
Published on 31. May 2013
Book
Hardback
356 pages
978-1-4666-4034-4 (ISBN)
Description
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.
More details
Series
Language
English
Place of publication
Hershey, PA
United States
Target group
Professional and scholarly
Dimensions
Height: 286 mm
Width: 221 mm
Thickness: 33 mm
Weight
1583 gr
ISBN-13
978-1-4666-4034-4 (9781466640344)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Persons
<strong>Zhiwu Li</strong>, Xidian University, People's Republic of China.
<strong>Abdulrahman A. Mirza</strong> 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.
<strong>Abdulrahman A. Mirza</strong> 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.