Formal methods in manufacturing systems recent advances
"This book explores formal methods and the 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"...
| Format: | Electronic |
|---|---|
| Series: | Advances in civil and industrial engineering (ACIE) book series,
2326-6139 Premier reference source |
| Subjects: | |
| Online Access: | View fulltext via EzAccess |
| LEADER | 01851cam a2200349 i 4500 | ||
|---|---|---|---|
| 001 | 25272 | ||
| 003 | DLC | ||
| 005 | 20130614152217.0 | ||
| 008 | 130326t20132013paua b 001 0 eng | ||
| 010 | # | # | |a 2013001749 |
| 020 | # | # | |z 9781466640351 (ebook) |
| 040 | # | # | |a DLC |b eng |c DLC |d DLC |e rda |
| 050 | # | # | |a TS155.6 |b .F65 2013 |
| 082 | # | # | |a 670.285 |2 23 |
| 245 | # | # | |a Formal methods in manufacturing systems |b recent advances |c Zhiwu Li , Xidian University, China, Abdulrahman M. Al-Ahmari, King Saud University, Saudi Arabia, [editors]. |h [electronic resource] |
| 264 | # | # | |a Hershey, PA : |b Engineering Science Reference, |c [2013] |
| 264 | # | # | |c %2013 |
| 300 | # | # | |a 1 online resource ((xxiii, 507 pages) |b illustrations ; |c 29 cm |
| 336 | # | # | |a text |2 rdacontent |
| 337 | # | # | |a unmediated |2 rdamedia |
| 338 | # | # | |a volume |2 rdacarrier |
| 490 | # | # | |a Advances in civil and industrial engineering (ACIE) book series, |v 2326-6139 |
| 490 | # | # | |a Premier reference source |
| 504 | # | # | |a Includes bibliographical references (pages 465-494)and index. |
| 520 | # | # | |a "This book explores formal methods and the 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"-- |c Provided by publisher. |
| 650 | # | # | |a Production engineering |x Data processing. |
| 650 | # | # | |a Production engineering |x Technological innovations. |
| 650 | # | # | |a Formal methods (Computer science) |
| 650 | # | # | |a Petri nets. |
| 700 | # | # | |a Li, ZhiWu, |d 1967- |e editor of compilation. |
| 700 | # | # | |a Al-Ahmari, Abdulrahman M., |d 1968- |e editor of compilation. |
| 856 | 4 | 0 | |u https://ezaccess.library.uitm.edu.my/login?url= http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-4666-4034-4 |z View fulltext via EzAccess |