Formal Methods for Eternal Networked Software Systems المزيد من الكتب المشابهة

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

٢٠١٦

Formal Methods and Software Engineering

٢٠١٨

Software Engineering and Formal Methods

٢٠١٧

Fundamentals of Software Engineering

٢٠١٩

Formal Aspects of Component Software

٢٠١٤

Software Technologies: Applications and Foundations

٢٠١٨

Formal Methods for Components and Objects

٢٠٠٩

Dependable Software Engineering. Theories, Tools, and Applications

٢٠١٨

Software Engineering and Formal Methods

٢٠١٤

From Software Engineering to Formal Methods and Tools, and Back

٢٠١٩

Software Engineering and Formal Methods

٢٠١٥

Distributed Computing and Internet Technology

٢٠١١

Coordination Models and Languages

٢٠٢٠

Formal Methods for Industrial Critical Systems

٢٠١٨

Coordination Models and Languages

٢٠١٧