Static Analysis of Software المزيد من الكتب المشابهة

Formal Methods Applied to Industrial Complex Systems

٢٠١٤

Validation of Evolving Software

٢٠١٥

Tests and Proofs

٢٠١٨

Perspectives of System Informatics

٢٠١٨

Software Engineering and Formal Methods

٢٠١٥

Dependable Computer Systems

٢٠١١

ARTIFICIAL INTELLIGENCE METHODS FOR SOFTWARE ENGINEERING

٢٠٢١

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

٢٠١٦

Tools and Methods of Program Analysis

٢٠١٧

Software Engineering and Formal Methods

٢٠١٧

Reliable Software Technologies - Ada-Europe 2007

٢٠٠٧

Testing Techniques in Software Engineering

٢٠١٠

Verified Software: Theories, Tools, Experiments

٢٠٠٨

Structured Object-Oriented Formal Language and Method

٢٠٢٠

Certifiable Software Applications 3

٢٠١٨