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
62030

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:

Advancing Software Engineering Through AI, Federated Learning, and Large Language Models
Agile Technical Practices Distilled A Journey Toward Mastering Software Design
Pattern-Oriented Software Architecture Volume 3 Patterns for Resource Management
Facilitating Software Architecture Empowering Teams to Make Architectural Decisions
Head First Software Architecture: A Learner|s Guide to Architectural Thinking
Codigo limpio: Manual de estilo para el desarrollo agil de software
Invisible Engines: How Software Platforms Drive Innovation And Transform Industries
Tactical Publishing: Using Senses, Software, and Archives in the Twenty-First Century (Leonardo)
Accelerated Linux API for Software Diagnostics With Category Theory in View
The Async-First Playbook Remote Collaboration Techniques for Agile Software Teams
Fundamentals of Software Engineering From Coder to Engineer (Fourth Early Release)
Embedded Software Development for Safety-Critical Systems, 2nd Edition
Model-Driven Software Systems Development Using the Meta-Artifact Process
Model-Driven Software Systems Development Using the Meta-Artifact Process
Civil Liability for Artificial Intelligence and Software (Tort and Insurance Law, 37)
Fundamentals of Software Engineering From Coder to Engineer (Fourth Early Release)
The Async-First Playbook: Remote Collaboration Techniques for Agile Software Teams
Clean Architecture A Craftsman|s Guide to Software Structure and Design
Professional Python Object-Oriented Approaches to Efficient Software Development
Grokking Simplicity Taming complex software with functional thinking (Final)
How To Find Your Life|s Divine Purpose: Brain software for a new civilization
Professional Python Object-Oriented Approaches to Efficient Software Development
Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences
Release It! Design and Deploy Production-Ready Software, 2nd Edition
Black Hat Physical Device Security Exploiting Hardware and Software
Designing Software Synthesizer Plugins in C++ With Audio DSP, 2nd Edition
Implementing Enterprise Cybersecurity with Open-source Software and Standard Architecture
Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences
Advancing Software Engineering Through AI, Federated Learning, and Large Language Models
Designing Software Architectures A Practical Approach, 2nd Edition (Final)
Write Portable Code An Introduction to Developing Software for Multiple Platforms
Evaluation Von Dialogsystemen: Der Software-Ergonomische Leitfaden Evadis
Seriously Good Software Code that works, survives, and wins (Final Version)
The Async-First Playbook Remote Collaboration Techniques for Agile Software Teams
For Fun and Profit: A History of the Free and Open Source Software Revolution
Software Engineering for Data Scientists From Notebooks to Scalable Systems (Final)
Java Software Solutions, Foundations of Program Design 10th Edition
Declarative Programming Achieving Effortless Software Through Logic-Based Programs
Designing Software Architectures A Practical Approach, 2nd Edition (Final)
The Startup Players Handbook: A Roadmap to Building SaaS and Software Companies