Formal Methods in Manufacturing Systems

Recent Advances
Erscheinungsjahr 2013
ISBN: 978-1-4666-4034-4
Verlag: Engineering Science Reference

Buch, Englisch, 356 Seiten, Hardback, Format (B × H): 221 mm x 286 mm, Gewicht: 1583 g

Reihe: Advances in Civil and Industrial Engineering

<em>Formal Methods in Manufacturing Systems: Recent Advances</em> 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 <em>Advances in Civil and Industrial Engineering series collection</em>.

Autoren/Hrsg.

Li, Zhiwu

Al-Ahmari, Abdulrahman M.

Über Autor(innen)

<strong>Zhiwu Li</strong>, Xidian University, People’s Republic of China. <br><br><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.