Formal Methods: State of the Art and New Directions المزيد من الكتب المشابهة

Formal Methods. FM 2019 International Workshops

٢٠٢٠

From Software Engineering to Formal Methods and Tools, and Back

٢٠١٩

Software Engineering and Formal Methods

٢٠٢٠

Software Engineering and Formal Methods

٢٠١٧

Software Engineering and Formal Methods

٢٠١٤

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

٢٠١٦

Formal Methods and Software Engineering

٢٠١٨

Rule Technologies. Research, Tools, and Applications

٢٠١٦

Coordination Models and Languages

٢٠٢٠

Formal Methods. FM 2019 International Workshops

٢٠٢٠

Engineering Trustworthy Software Systems

٢٠١٦

Coordination Models and Languages

٢٠١٩

Interactive Computation

٢٠٠٦

Web Reasoning and Rule Systems

٢٠١٥

Perspectives of System Informatics

٢٠١٩