Formal methods in manufacturing edited by (Record no. 25707)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01616nam a22002297a 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 170214b 2014 xxu||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781466561557 |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 670 CAM-J |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Campus, Javier. |
| 245 ## - TITLE STATEMENT | |
| Title | Formal methods in manufacturing edited by |
| Statement of responsibility, etc. | Javier Campos, Carla Seatzu and Xiaolan, Xie. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc. | Boca Raton |
| Name of publisher, distributor, etc. | CRC Press |
| Date of publication, distribution, etc. | 2014 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 698 p. |
| 365 ## - TRADE PRICE | |
| Price type code | GBP |
| Price amount | 121.00 |
| 440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE | |
| Title | Industrial Information Technology |
| 500 ## - GENERAL NOTE | |
| General note | <br/>Illustrated with real-life manufacturing examples, Formal Methods in Manufacturing provides state-of-the-art solutions to common problems in manufacturing systems. Assuming some knowledge of discrete event systems theory, the book first delivers a detailed introduction to the most important formalisms used for the modeling, analysis, and control of manufacturing systems (including Petri nets, automata, and max-plus algebra), explaining the advantages of each formal method. It then employs the different formalisms to solve specific problems taken from today's industrial world, such as modeling and simulation, supervisory control (including deadlock prevention) in a distributed and/or decentralized environment, performance evaluation (including scheduling and optimization), fault diagnosis and diagnosability analysis, and reconfiguration |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Manufacturing processes--Mathematical models |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Manufacturing processes |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | TECHNOLOGY & ENGINEERING -- Industrial Engineering. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | TECHNOLOGY & ENGINEERING -- Industrial Technology. |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Seatzu, Carla. |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Xie, Xiaolan. |
| 952 ## - LOCATION AND ITEM INFORMATION (KOHA) | |
| Withdrawn status | |
| Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection code | Home library | Current library | Shelving location | Date acquired | Cost, normal purchase price | Total Checkouts | Full call number | Barcode | Date last seen | Date last checked out | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | 670 | BITS Pilani Hyderabad | BITS Pilani Hyderabad | General Stack (For lending) | 14/02/2017 | 121.00 | 3 | 670 CAM-J | 30194 | 13/07/2024 | 09/10/2018 | 14/02/2017 | Books |