Formal Methods in Manufacturing Systems
Li, Zhiwu
ISBN 10: 1466640340 ISBN 13: 9781466640344
Published by Engineering Science Reference, 2013
New
HRD
From
PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
Heritage Bookseller
AbeBooks member since 1996
This specific item is no longer available.
About this Item
Description:
New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IG-9781466640344
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 the Author: 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 Masters of Health Informatics program. 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.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Formal Methods in Manufacturing Systems
Publisher: Engineering Science Reference
Publication Date: 2013
Binding: HRD
Condition: New