Skip to main content
Search results

Formal Methods in Manufacturing Systems

Products

Showing 48 of 67 products
Formal Methods Applied to Industrial Complex Systems
Wileyiste
Formal Methods Applied to Industrial Complex Systems
$228.12
Compare Now
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings
Springer
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings
$49.49
Compare Now
Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
Springer
Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
$62.99
Compare Now
Industrial Information Technology Formal Methods in Manufacturing  (Paperback)
Industrial Information Technology Formal Methods in Manufacturing (Paperback)
$115.99
Compare Now
Modeling and Analysis of Manufacturing Systems
Wiley
Modeling and Analysis of Manufacturing Systems
$280.13
Compare Now
Manufacturing Process Validation Concepts Tools and Industrial Applications
Crc Press
Manufacturing Process Validation Concepts Tools and Industrial Applications
$76.49
Compare Now
Advanced Techniques for Maintenance Modeling and Reliability Analysis of Repairable Systems
Wiley
Advanced Techniques for Maintenance Modeling and Reliability Analysis of Repairable Systems
$195.23
Compare Now
Introduction to Manufacturing Processes
Wiley
Introduction to Manufacturing Processes
$68.40
Compare Now
Introduction to Manufacturing Processes
Wiley
Introduction to Manufacturing Processes
$145.88
Compare Now
Discrete-Event Modeling and Simulation: A Practitioner's Approach
Crc Press
Discrete-Event Modeling and Simulation: A Practitioner's Approach
$155.10
Compare Now
An Introduction to Practical Formal Methods Using Temporal Logic
Wiley
An Introduction to Practical Formal Methods Using Temporal Logic
$163.39
Compare Now
Dynamic Systems Modeling, Simulation, and Control
Wiley
Dynamic Systems Modeling, Simulation, and Control
$113.04
Compare Now
Design Synthesis: Integrated Product and Manufacturing System Design
Crc Press
Design Synthesis: Integrated Product and Manufacturing System Design
$56.10
Compare Now
The Global Manufacturing Revolution Product-Process-Business Integration and Reconfigurable Systems
Wiley
The Global Manufacturing Revolution Product-Process-Business Integration and Reconfigurable Systems
$104.40
Compare Now
Introduction to Manufacturing Processes
Introduction to Manufacturing Processes
$81.66
Compare Now
Real-Time Systems: Formal Specification and Automatic Verification
Cambridge University Press
Real-Time Systems: Formal Specification and Automatic Verification
$116.88
Compare Now
Manufacturing Systems Engineering Rapid Prototyping: Theory and Practice  Book 6  (Hardcover)
Manufacturing Systems Engineering Rapid Prototyping: Theory and Practice Book 6 (Hardcover)
$172.64
Compare Now
Introduction to Manufacturing Processes
Wiley
Introduction to Manufacturing Processes
$238.04
Compare Now
Studies in Systems  Decision and Control A Perspective on Artificial Intelligence in Manufacturing  Book 436  (Hardcover)
Studies in Systems Decision and Control A Perspective on Artificial Intelligence in Manufacturing Book 436 (Hardcover)
$143.29
Compare Now
Manufacturing Industry 5.0: Design  Standards  Techniques and Applications for Manufacturing  (Hardcover)
Manufacturing Industry 5.0: Design Standards Techniques and Applications for Manufacturing (Hardcover)
$137.44
Compare Now
Industrial Use of Formal Methods Formal Verification
Wileyiste
Industrial Use of Formal Methods Formal Verification
$191.75
Compare Now
Computer-Aided Verification: A Special Issue of Formal Methods in System Design on Computer-Aided Verification  (Paperback)
Springer
Computer-Aided Verification: A Special Issue of Formal Methods in System Design on Computer-Aided Verification (Paperback)
$135.26
Compare Now
Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods  ICFEM 2018  Gold C  (Paperback)
Springer International Publishing
Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods ICFEM 2018 Gold C (Paperback)
$54.99
Compare Now
Springer Advanced Manufacturing Advanced Modeling and Optimization of Manufacturing Processes: International Research and Development  (Hardcover)
Springer
Springer Advanced Manufacturing Advanced Modeling and Optimization of Manufacturing Processes: International Research and Development (Hardcover)
$229.01
Compare Now
Principles of Automation and Control
Bentham Science Publishers
Principles of Automation and Control
$31.69
Compare Now
Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer  Com  (Paperback)
Springer
Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer Com (Paperback)
$54.99
Compare Now
Manufacturing Processes and Systems
Wiley
Manufacturing Processes and Systems
$138.64
Compare Now
Manufacturing  Engineering and Materials Programmable Controllers for Factory Automation  (Paperback)
Manufacturing Engineering and Materials Programmable Controllers for Factory Automation (Paperback)
$89.99
Compare Now
Introduction to Cost Modeling for Manufacturing Processes (Paperback)
Vdm Verlag
Introduction to Cost Modeling for Manufacturing Processes (Paperback)
$49.95
Compare Now
Lecture Notes in Production Engineering Machine Tools Production Systems 1: Machine Types and Application Fields  (Hardcover)
Lecture Notes in Production Engineering Machine Tools Production Systems 1: Machine Types and Application Fields (Hardcover)
$199.99
Compare Now
8th Ifac International Workshop on Intelligent Manufacturing Systems 2007
Curran Associates
8th Ifac International Workshop on Intelligent Manufacturing Systems 2007
$184.82
Compare Now
Intelligent Manufacturing S Object-Oriented Software for Manufacturing Systems (Intelligent Manufacturing)  (Paperback)
Intelligent Manufacturing S Object-Oriented Software for Manufacturing Systems (Intelligent Manufacturing) (Paperback)
$76.96
Compare Now
Automation in Garment Manufacturing
Woodhead Pub
Automation in Garment Manufacturing
$234.77
Compare Now
Production Planning in Automated Manufacturing
Springer
Production Planning in Automated Manufacturing
$56.14
Compare Now
Process Safety Management : Principles and Practices for Safe Industrial Operations
Process Safety Management : Principles and Practices for Safe Industrial Operations
$9.00
Compare Now
Theory of Modeling and Simulation: Discrete Event & Iterative System Computational Foundations
Academic Press
Theory of Modeling and Simulation: Discrete Event & Iterative System Computational Foundations
$89.99
Compare Now
manufacturing processes reference guide
manufacturing processes reference guide
$3.00
Compare Now
Discrete-Event Modeling and Simulation: Theory and Applications
Crc Press
Discrete-Event Modeling and Simulation: Theory and Applications
$77.99
Compare Now
The Springer International Engineering a Workflow and Process Automation: Concepts and Technology  Book 432  (Hardcover)
The Springer International Engineering a Workflow and Process Automation: Concepts and Technology Book 432 (Hardcover)
$68.38
Compare Now
Economics of Advanced Manufacturing Systems  (Hardcover)
Springer
Economics of Advanced Manufacturing Systems (Hardcover)
$164.18
Compare Now
Process Control in Practice (De Gruyter Textbook)
Process Control in Practice (De Gruyter Textbook)
$34.99
Compare Now
Practical Process Automation
Oreilly Media
Practical Process Automation
$68.39
Compare Now
Process Engineering and Industrial Management
Wileyiste
Process Engineering and Industrial Management
$262.08
Compare Now
8th EAI International Conference on Management of Manufacturing Systems
Springer
8th EAI International Conference on Management of Manufacturing Systems
$215.99
Compare Now
Leveraging Applications of Formal Methods  Verification and Validation: Engineering Principles: 9th International Sympos  (Paperback)
Leveraging Applications of Formal Methods Verification and Validation: Engineering Principles: 9th International Sympos (Paperback)
$54.99
Compare Now
Fundamentals of Modern Manufacturing: Materials, Processes and Systems
Wiley
Fundamentals of Modern Manufacturing: Materials, Processes and Systems
$124.65
Compare Now
Lecture Notes in Electrical Engineering Advanced Manufacturing and Automation XII  Book 994  (Paperback)
Lecture Notes in Electrical Engineering Advanced Manufacturing and Automation XII Book 994 (Paperback)
$292.92
Compare Now
Automated Continuous Process Control
Wileyinterscience
Automated Continuous Process Control
$98.64
Compare Now