Formal Aspects of Component Software المزيد من الكتب المشابهة

Coordination Models and Languages

٢٠١٧

Software Engineering and Formal Methods

٢٠١٤

Software Engineering and Formal Methods

٢٠١٧

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

٢٠١٦

Coordination Models and Languages

٢٠٢٠

Formal Methods and Software Engineering

٢٠١٨

Software Engineering and Formal Methods

٢٠١٥

Coordination Models and Languages

٢٠١٩

Formal Methods for Eternal Networked Software Systems

٢٠١١

Formal Methods for Industrial Critical Systems

٢٠١٨

Dependable Software Engineering. Theories, Tools, and Applications

٢٠١٨

From Software Engineering to Formal Methods and Tools, and Back

٢٠١٩

Formal Methods for Components and Objects

٢٠٠٩

Fundamentals of Software Engineering

٢٠١٩

Software Technologies: Applications and Foundations

٢٠١٨