Formal Verification Of Control System Software

Best Seller

Formal Methods Of Program Verification And Specification Product Info Formal Methods Of Program Verification And Specification SecondSale

$16.00 FREE shipping go to store SecondSale

System Verification: Proving The Design Solution Satisfies The Requirements Product Info System Verification: Proving The Design Solution Satisfies The Requirements SecondSale

$109.40 FREE shipping go to store SecondSale

Small Memory Software Patterns For Systems With Limited Memory Software Patterns Series Product Info Small Memory Software Patterns For Systems With Limited Memory Software Patterns Series SecondSale

$13.10 FREE shipping go to store SecondSale

Architecting Secure Software Systems Product Info Architecting Secure Software Systems SecondSale

$23.83 FREE shipping go to store SecondSale

Raspberry Pi System Software Reference Product Info Raspberry Pi System Software Reference SecondSale

$31.51 FREE shipping go to store SecondSale

Software Architecture With C++: Design Modern Systems Using Effective Architecture Concepts, Design Patterns, And Techniques With C++20 Product Info Software Architecture With C++: Design Modern Systems Using Effective Architecture Concepts, Design Patterns, And Techniques With C++20 SecondSale

$17.39 FREE shipping go to store SecondSale

Effective Debugging: 66 Specific Ways To Debug Software And Systems Product Info Effective Debugging: 66 Specific Ways To Debug Software And Systems SecondSale

$21.99 FREE shipping go to store SecondSale

The Architecture Of Computer Hardware, Systems Software, And Networking: An Information Technology Approach Product Info The Architecture Of Computer Hardware, Systems Software, And Networking: An Information Technology Approach SecondSale

$11.89 FREE shipping go to store SecondSale

Iso 9001: 2000 For Software And Systems Providers: An Engineering Approach Product Info Iso 9001: 2000 For Software And Systems Providers: An Engineering Approach SecondSale

$16.06 FREE shipping go to store SecondSale

Practical Software Architecture Moving from System Context to Deployment IBM Press Product Info Practical Software Architecture Moving from System Context to Deployment IBM Press SecondSale

$12.39 FREE shipping go to store SecondSale

The Programmer's Apple Mac Sourcebook: Reference Tables For Apple Macintosh Hardware And System Software Product Info The Programmer's Apple Mac Sourcebook: Reference Tables For Apple Macintosh Hardware And System Software SecondSale

$249.52 FREE shipping go to store SecondSale

Software Design Methods for Concurrent and RealTime Systems Product Info Software Design Methods for Concurrent and RealTime Systems SecondSale

$249.52 FREE shipping go to store SecondSale

Evolving Software Systems Product Info Evolving Software Systems SecondSale

$91.75 FREE shipping go to store SecondSale

Process-Centric Architecture For Enterprise Software Systems Product Info Process-Centric Architecture For Enterprise Software Systems SecondSale

$131.36 FREE shipping go to store SecondSale

Applying Design For Six Sigma To Software And Hardware Systems (Paperback) Product Info Applying Design For Six Sigma To Software And Hardware Systems (Paperback) SecondSale

$21.73 FREE shipping go to store SecondSale

Ranking Vaccines: A Prioritization Software Tool: Phase Ii: Prototype Of A Decision-Support System Product Info Ranking Vaccines: A Prioritization Software Tool: Phase Ii: Prototype Of A Decision-Support System SecondSale

$76.97 FREE shipping go to store SecondSale

ServiceOriented Computing and System Integration Software IoT Big Data and AI as Services Product Info ServiceOriented Computing and System Integration Software IoT Big Data and AI as Services SecondSale

$101.57 FREE shipping go to store SecondSale

Embedded Systems And Software Validation Product Info Embedded Systems And Software Validation SecondSale

$21.93 FREE shipping go to store SecondSale

Common System And Software Testing Pitfalls: How To Prevent And Mitigate Them: Descriptions, Symptoms, Consequences, Causes, And Recommendations Product Info Common System And Software Testing Pitfalls: How To Prevent And Mitigate Them: Descriptions, Symptoms, Consequences, Causes, And Recommendations SecondSale

$33.02 FREE shipping go to store SecondSale

Microprocessor Systems Design: 68000 Family Hardware, Software, And Interfacing Product Info Microprocessor Systems Design: 68000 Family Hardware, Software, And Interfacing SecondSale

$15.85 FREE shipping go to store SecondSale

Eighty Thousand Three Hundred Eighty-Six System Software Writer's Guide Product Info Eighty Thousand Three Hundred Eighty-Six System Software Writer's Guide SecondSale

$43.64 FREE shipping go to store SecondSale

Engineering Safe and Secure Software Systems Product Info Engineering Safe and Secure Software Systems SecondSale

$87.31 FREE shipping go to store SecondSale

Software Radio Architecture: Object-Oriented Approaches To Wireless Systems Engineering Product Info Software Radio Architecture: Object-Oriented Approaches To Wireless Systems Engineering SecondSale

$63.15 FREE shipping go to store SecondSale

Software Receiver Design: Build Your Own Digital Communication System In Five Easy Steps Product Info Software Receiver Design: Build Your Own Digital Communication System In Five Easy Steps SecondSale

$30.69 FREE shipping go to store SecondSale

Robust Control System Networks: How To Achieve Reliable Control After Stuxnet Product Info Robust Control System Networks: How To Achieve Reliable Control After Stuxnet SecondSale

$36.62 FREE shipping go to store SecondSale

The Control Handbook: Control System Fundamentals, Second Edition Product Info The Control Handbook: Control System Fundamentals, Second Edition SecondSale

$142.06 FREE shipping go to store SecondSale

Configuring Internal Controls For Software As A Service: Between Fragility And Forgiveness Product Info Configuring Internal Controls For Software As A Service: Between Fragility And Forgiveness SecondSale

$158.34 FREE shipping go to store SecondSale

Mechanical Design Handbook, Second Edition: Measurement, Analysis And Control Of Dynamic Systems Product Info Mechanical Design Handbook, Second Edition: Measurement, Analysis And Control Of Dynamic Systems SecondSale

$141.58 FREE shipping go to store SecondSale

Batch Control Systems: Design, Application, and Implementation (Resources for Measurement and Control Series) Product Info Batch Control Systems: Design, Application, and Implementation (Resources for Measurement and Control Series) SecondSale

$106.73 FREE shipping go to store SecondSale

Linear Control Systems Engineering Product Info Linear Control Systems Engineering SecondSale

$25.47 FREE shipping go to store SecondSale

Configuring Internal Controls For Software As A Service: Between Fragility And Forgiveness Product Info Configuring Internal Controls For Software As A Service: Between Fragility And Forgiveness SecondSale

$50.90 FREE shipping go to store SecondSale

Learning for Adaptive and Reactive Robot Control: A Dynamical Systems Approach Product Info Learning for Adaptive and Reactive Robot Control: A Dynamical Systems Approach SecondSale

$59.88 FREE shipping go to store SecondSale

Corporate Fraud And Internal Control, + Software Demo: A Framework For Prevention Product Info Corporate Fraud And Internal Control, + Software Demo: A Framework For Prevention SecondSale

$11.13 FREE shipping go to store SecondSale

Software Engineering Analysis and Verification Product Info Software Engineering Analysis and Verification SecondSale

$14.73 FREE shipping go to store SecondSale

Engineering System Dynamics A Unified GraphCentered Approach Second Edition Control Engineering Product Info Engineering System Dynamics A Unified GraphCentered Approach Second Edition Control Engineering SecondSale

$25.47 FREE shipping go to store SecondSale

Automotive Control Systems: For Engine, Driveline, And Vehicle Product Info Automotive Control Systems: For Engine, Driveline, And Vehicle SecondSale

$133.83 FREE shipping go to store SecondSale

Introduction To Control System Analysis And Design Product Info Introduction To Control System Analysis And Design SecondSale

$17.44 FREE shipping go to store SecondSale