Transactions on Petri Nets and Other Models of Concurrency IX المزيد من الكتب المشابهة

Coordination Models and Languages

٢٠١٩

Coordination Models and Languages

٢٠٢٠

Formal Aspects of Component Software

٢٠١٤

Coordination Models and Languages

٢٠١٧

Software Engineering and Formal Methods

٢٠١٤

Software Technologies: Applications and Foundations

٢٠١٨

Software Engineering and Formal Methods

٢٠١٥

Web Services, Formal Methods, and Behavioral Types

٢٠١٦

Web Services and Formal Methods

٢٠١٤

Formal Methods for Eternal Networked Software Systems

٢٠١١

Fundamentals of Software Engineering

٢٠١٩

From Software Engineering to Formal Methods and Tools, and Back

٢٠١٩

Formal Methods and Software Engineering

٢٠١٨

Software Engineering and Formal Methods

٢٠١٧

Transactions on Petri Nets and Other Models of Concurrency II

٢٠٠٩