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
62020

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 Architect
SOFTWARE DEVELOPMENT and AI
Software Design by Example
Software Design
Software Design
Software Engineering with UML
Introduction to Software Testing
Agile Software Development
Fundamendals of software engineering
Software Engineering 021
A Philosophy of Software Design
Software Development & AI
Software Development Metrics
Fundamentals of Software Engineering
An Introduction to Software Architecture
DevOps for Software Engineers
The Art of Software Testing
Software Engineering for Science
Systems and Software Process
DevOps for Software Engineers
Whole Earth software catalog
Software Engineering with UML
Foundations of Software Engineering
Security for Software Engineers
Software Quality Assurance
The Nature of Software Development
Systems and Software Process
Software Piracy Exposed
Software Architecture Metrics
Making Software: What Really Works, and Why We Believe It
Head First Software Development
Software Development & AI
Intro to Software Development
Software Engineering Economics
Classics in software engineering
High Integrity Software
Agile Software Development
Essentials of Software Testing
Essentials of Software Testing
Software Architecture Metrics