Software Verification and Analysis المزيد من الكتب المشابهة

Tests and Proofs

٢٠٠٨

Tests and Proofs

٢٠٠٧

Tests and Proofs

٢٠١٦

Hardware and Software: Verification and Testing

٢٠١١

Tests and Proofs

٢٠١٠

Software Testing

٢٠١٥

Functional and Constraint Logic Programming

٢٠١٩

Logic-Based Program Synthesis and Transformation

٢٠٠٩

Static Analysis

٢٠١٧

Logic-Based Program Synthesis and Transformation

٢٠١٨

Testing Software and Systems

٢٠١٧

Declarative Programming and Knowledge Management

٢٠١٤

Automated Technology for Verification and Analysis

٢٠١٧

Formal Methods and Software Engineering

٢٠٠٨

Programming Languages and Systems

٢٠١٠