BOOKS - PROGRAMMING - Formal Verification of Control System Software
Formal Verification of Control System Software - Pierre-Loic Garoche 2019 PDF Princeton University Press BOOKS PROGRAMMING
ECO~14 kg CO²

1 TON

Views
62027

Telegram
 
Formal Verification of Control System Software
Author: Pierre-Loic Garoche
Year: 2019
Pages: 231
Format: PDF
File size: 11.37 MB
Language: ENG



Pay with Telegram STARS
''

You may also be interested in:

CI/CD Unleashed Turbocharging Software Deployment for Quicker Delivery
Software-Defined Networking and Security From Theory to Practice
Software Vulnerability Discovery Process Concepts and Applications
Building VMware Software-Defined Data Centers
Qualitative Content Analysis: Methods, Practice and Software
Development of Safety-Critical Systems Architecture and Software
Software and Systems Modeling Theoretical and Practical Issues
Embedded and Networking Systems Design, Software, and Implementation
DevOps Learn One of the Most Powerful Software Development Methodologies
Embedded Software Development The Open-Source Approach
Advancements in Model-Driven Architecture in Software Engineering
AntiPatterns: Refactoring Software, Architectures, and Projects in Crisis
Software Design for Flexibility How to Avoid Programming Yourself into a Corner
Software Engineering and Management Theory and Application Volume 16
Software Engineering Practice A Case Study Approach
Behavior-Driven Development with Cucumber Better Collaboration for Better Software
Progressions and Innovations in Model-Driven Software Engineering
Software-Hardware Integration in Automotive Product Development
Feminist in a Software Lab: Difference + Design (metaLABprojects)
Theoretical Software Diagnostics Collected Articles, Second Edition
Integrating the Internet of Things Into Software Engineering Practices
Development of Safety-Critical Systems Architecture and Software
Ship it! A Practical Guide to Successful Software Projects
Leading Lean Software Development: Results Are Not the Point
Embedded Software Development for Safety-Critical Systems
Assembly Programming and Computer Architecture for Software Engineers
Building Software for Simulation Theory and Algorithms, with Applications in C++
Cisco Software-Defined Access (Rough Cut)
Code That Fits in Your Head Heuristics for Software Engineering
Clean Code A Handbook of Agile Software Craftsmanship
Software Configuration Management Handbook, 3rd Edition
Clean Code An Agile Guide to Software Craft
Software Engineering and Management Theory and Application Volume 16
Signal Computing Digital Signals in the Software Domain
Software Engineering Perspectives in Computer Game Development
Release It! Design and Deploy Production-Ready Software
Software Reuse: Methods, Models, Costs, Second Edition
Managing Trade-offs in Adaptable Software Architectures
Clean Code An Agile Guide to Software Craft
Software Engineering Artificial Intelligence, Compliance, and Security