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
62026

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:

PIC Microcontroller An Introduction to Software and Hardware Interfacing
Software Architecture The Hard Parts (Early Release)
Software Engineering and Management Theory and Application Volume 16
Requirements Engineering for Software and Systems, 4th Edition
Project Myopia: Why projects damage software #NoProjects
Methods of Applied Mathematics with a Software Overview, Second Edition
Android Software Development A Collection of Practical Projects
Software Teaming: A Mob Programming, Whole-Team Approach
Agile Software Development (IT Pro Practice Notes)
Software Engineering Modern Approaches, 2nd Edition
Growing Object-Oriented Software, Guided by Tests
Operating Continuously: Best Practices for Accelerating Software Delivery
Java Software Structures, 4th International Edition
The Art of R Programming A Tour of Statistical Software Design
System Down
Sustainable Software Architecture Analyze and Reduce Technical Debt
Soft Skills The software developer’s life manual (with Audiobook)
Artificial Intelligence and Software Testing: Building systems you can trust
Software Architectures and Tools for Computer Aided Process Engineering
Tidy First? A Personal Exercise in Empirical Software Design (Final)
Antenna Analysis and Design using FEKO Electromagnetic Simulation Software
Data-Centric Security in Software Defined Networks (SDN)
x86 Software Reverse-Engineering, Cracking, and Counter-Measures
The Rational software Engineer: Strategies for a Fulfilling Career in Tech
Software-Defined Wide Area Network Architectures and Technologies
Foundations of Software Testing ISTQB Certification, Fourth edition
Free and Open Source Software and Technology for Sustainable Development
Software Design for Resilient Computer Systems 3rd Edition
Don|t hire a software developer until you read this book
AI-Powered Developer: Build great software with ChatGPT and Copilot
Raspberry Pi Cookbook. Software and Hardware Problems and Solutions (+code)
Tales of Electrologica: Computers, Software and People (History of Computing)
Fundamentals of Software Testing 2nd Edition, Revised and Updated
Software-Defined Network Frameworks Security Issues and Use Cases
Design and Implementation of Software Engineering for Modern Web Applications
Software Testing for Managers An Introduction to Strategies, Technologies, and Best Practices
Multicore Software Development Techniques Applications, Tips, and Tricks
The Rational software Engineer Strategies for a Fulfilling Career in Tech
The Programmer|s Playbook Strategies for Success in Software Development
Engineering Software as a Service An Agile Approach Using Cloud Computing