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
81089

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 Networks
Embedded Software for the IoT
Software Development in Practice
Mastering Software Development in R
Beginning Software Engineering
Robotics for Software Engineers
Software Engineering, AI: Vol 17
Design It! From Programmer to Software Architect
Object-Oriented Software Design in C++
Effective Methods for Software Engineering
Software Methodologies: A Quantitative Guide
Software Engineering, 3rd edition
Software Engineering Made Easy
Software Engineering and Management: Vol. 16,
Think Like a Software Engineering Manager (MEAP v6)
C# Programming: Mastering Versatile Software
Software Engineering Made Easy
Software Engineering 9th Edition
Software Development, Design, and Coding 3E
Fundamentals of Software Testing 2nd Ed
Software Engineering and Data Science
Computer Hardware And Software Basics
Software Requirements, 3rd Edition
Skills of a Successful Software Engineer
Software Engineering Survival Guide
Software Engineering Made Easy
Software Development Patterns and Antipatterns
Experimentation in Software Engineering, Second Edition
Handbook of Software Solutions for ICME
Generative AI for Effective Software Development
Software Testing A Self-Teaching Introduction
Collaborative Software Design (MEAP v6)
Using Software Samplers Skill Pack
Basic Thermodynamics Software Solutions
Software Engineering Modern Approaches
Intelligent Software Defect Prediction
100 Mistakes in Software Engineering
Tidy First?: Empirical Software Design
Software Engineering for Data Scientists