Models and Analysis for Distributed Systems المزيد من الكتب المشابهة

Integrated Formal Methods

٢٠٠٧

International Symposium on Fundamentals of Software Engineering

٢٠٠٧

Formal Methods and Software Engineering

٢٠١٥

Formal Techniques for Distributed Systems

٢٠١٠

Formal Techniques for Safety-Critical Systems

٢٠١٤

Formal Methods: Foundations and Applications

٢٠٠٩

Formal Aspects of Component Software

٢٠٢٠

Formal Techniques for Networked and Distributed Systems - FORTE 2007

٢٠٠٧

Fundamentals of Software Engineering

٢٠١٠

Integrated Formal Methods

٢٠٠٩

Formal Methods and Software Engineering

٢٠١٦

Formal Aspects of Component Software

٢٠١٨

Formal Techniques for Distributed Systems

٢٠٠٩

Formal Methods: Applications and Technology

٢٠٠٧

Formal Methods and Hybrid Real-Time Systems

٢٠٠٧