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
81088

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:

Software-Defined Radio for Engineers
Software Ecosystems: Tooling and Analytics
Effective Prototyping for Software Makers
A Guide to Software Quality Engineering
Software Ecosystems Tooling and Analytics
Dependable software systems engineering
SADL 2 Software Architecture as a Code
Intelligent Software Defect Prediction
Software Supply Chain Security
100 Mistakes in Software Engineering
Intelligent Software Defect Prediction
Designing Software Architectures, 2nd Ed
Software Patterns Made Easy
Software Ecosystems Tooling and Analytics
Elementary Logic: For Software Development
100 Mistakes in Software Engineering
A Guide to Software Quality Engineering
Automating Software Tests Using Selenium
Software Engineering in the Agile World
12 More Essential Skills for Software Architects
Software Testing and User Experience
Software Testing Foundations, 4th Edition
Essentials of Software Engineering, 5th Edition
A Formula da Eficacia para Projetos de Software
Natural Language Processing for Software Engineering
Software Testing for Conventional and Logic Programming
Java Software Solutions, 8th Edition
Building Maintainable Software, Java Edition
Fuzzy Logic-Based Software Systems
Software Project Management Methods and Techniques
Software Update As a Mechanism for Resilience and Security
Artificial Intelligence Methods For Software Engineering
Software Project Management: Methods and Techniques
Software Developer (BCS Guides to IT Roles)
Analytic Methods in Systems and Software Testing
Culture|s Software: Communication Styles
A Holistic View of Software and Enterprise Architecture
A Guide to Selecting Software Measures and Metrics
Software Project Management Methods and Techniques
Go Programming Build Powerful and Efficient Software