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
62024

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:

Object-Oriented Software Design in C++ (MEAP v2)
Think Like a Software Engineering Manager (Final Release)
Practical SQL Guide for Software Engineers
Go Programming Build Powerful and Efficient Software
An Introduction to the Management of Complex Software Projects
SHARKS in the MOAT How to Create Truly Secure Software
Rules for Software Development A Book About Professionalism
Discrete Mathematics: An Introduction for Software Engineers
An Introduction To Component-Based Software Development
Software Telemetry Reliable logging and monitoring
Audio Production Basics with Reason Software
Perspectives on Data Science for Software Engineering
C# Programming Mastering Versatile Software Development
Beginning Software Engineering, 2nd Edition
Software Architectures Topics Usually Missed in Textbooks
Handbook on Teaching Empirical Software Engineering
Java Software Solutions (9th Edition)
Object-Oriented Software Design in C++ (Final)
Raspberry Pi Measurement Electronics hardware and software
Designing Secure Software A Guide for Developers
Build Elements of an Effective Software Organization
BeagleBone Black Interfacing hardware and software
Fuzzy Logic-Based Software Systems
An Introduction to the Management of Complex Software Projects
Object-Oriented Software Design in C++ (Final)
From Commit to Deployment A Journey Through Software Production
Software Defined Radio. Theory and Practice
Think Like a Software Engineering Manager (Final Release)
Object-Oriented Software Design in C++ (MEAP v2)
Software Testing with Generative AI (Final Release)
Data-Oriented Programming Reduce software complexity
Software Engineering A Methodical Approach, 2nd Edition
Quantum Psychology How Brain Software Programs You and Your World
Agile Software Development Evaluating the Methods for Your Organization
Client-Centered Software Development The CO-FOSS Approach
Clean Code: An Agile Guide to Software Craft
Effective Software Testing A developer|s guide
Project Management of Large Software-Intensive Systems
Software Technology 10 Years of Innovation in IEEE Computer
Software Design by Example A Tool-Based Introduction with Python