Structured Object-Oriented Formal Language and Method المزيد من الكتب المشابهة

Formal Techniques for Safety-Critical Systems

٢٠١٥

Formal Methods: Foundations and Applications

٢٠١٧

Formal Methods and Software Engineering

٢٠١٦

Formal Methods and Software Engineering

٢٠١٥

Structured Object-Oriented Formal Language and Method

٢٠١٥

Formal Methods and Software Engineering

٢٠١٧

Integrated Formal Methods

٢٠١٧

Integrated Formal Methods

٢٠١٨

Formal Techniques for Safety-Critical Systems

٢٠١٦

Formal Methods for Industrial Critical Systems

٢٠٢٢

Integrated Formal Methods

٢٠١٩

Formal Aspects of Component Software

٢٠١٧

Critical Systems: Formal Methods and Automated Verification

٢٠١٧

Integrated Formal Methods

٢٠١٦

NASA Formal Methods

٢٠١٧