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
62028

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:

Cyber-Physical Systems (SEI Series in Software Engineering)
The Problem With Software Why Smart Engineers Write Bad Code
Making it Big in Software Get the Job. Work the Org. Become Great
Diary of a software engineer: Tools and Techniques to thrive in IT career
An Introduction to Self-adaptive Systems A Contemporary Software Engineering Perspective
Research Software Engineering A Guide to the Open Source Ecosystem
Software Source Code: Statistical Modeling (De Gruyter STEM)
Enterprise Software Architecture and Design Entities, Services, and Resources
Research Software Engineering A Guide to the Open Source Ecosystem
Robust Battery Management Systems: Theory, Algorithms, and Software
A Software Engineer Learns Java and Object Orientated Programming
Computer Networking from LANs to WANs Hardware, Software and Security
Introduction and Comparison of Data Envelopment Analysis Software Packages
x86 Software Reverse-Engineering, Cracking, and Counter-Measures
SAMonNOW – Orlando Stop Wasting Software Asset Management $$$
Lessons Learned in Software Testing: A Context-Driven Approach
Software-Defined Network Frameworks Security Issues and Use Cases
Robust Battery Management Systems Theory, Algorithms, and Software
The Art of Mac Malware, Volume 2 Detecting Malicious Software
Effective Software Testing A developer|s guide (MEAP)
The Rational software Engineer Strategies for a Fulfilling Career in Tech
Computing Handbook, Third Edition Computer Science and Software Engineering
Mastering the Code Strategies for Running a Successful Software Company
The Programmer|s Playbook Strategies for Success in Software Development
Making Embedded Systems: Design Patterns for Great Software
Become an Effective Software Engineering Manager How to Be the Leader Your Development Team Needs
Software Mistakes and Tradeoffs How to make good programming decisions
Team Geek A Software Developer|s Guide to Working Well with Others
Software Design for Resilient Computer Systems 3rd Edition
Applied Software Development with Python & Machine Learning
Robust Battery Management Systems Theory, Algorithms, and Software
Design and Implementation of Software Engineering for Modern Web Applications
Software complexity: Measures and methods (Programming complex systems)
Tidy First? A Personal Exercise in Empirical Software Design (Final)
A+ Guide to Software Managing, Maintaining and Troubleshooting, 9th Edition
Software Testing A Craftsman|s Approach, 5th Edition
Programming Erlang Software for a Concurrent World, 2nd Edition
Shamans, Software and Spleens : Law and the Construction of the Information Society
Data-Centric Security in Software Defined Networks (SDN)
Software Engineering for Data Scientists: From Notebooks to Scalable Systems