Web Services and Formal Methods المزيد من الكتب المشابهة

Web Services, Formal Methods, and Behavioral Types

٢٠١٦

Software Engineering and Formal Methods

٢٠١٤

Coordination Models and Languages

٢٠١٧

Formal Methods for Web Services

٢٠٠٩

Coordination Models and Languages

٢٠٢٠

Coordination Models and Languages

٢٠١٩

Formal Aspects of Component Software

٢٠١٤

On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS

٢٠٠٧

Transactions on Petri Nets and Other Models of Concurrency II

٢٠٠٩

Software Engineering and Formal Methods

٢٠١٥

Rule Technologies. Research, Tools, and Applications

٢٠١٦

Formal Methods for Components and Objects

٢٠٠٩

Software Engineering and Formal Methods

٢٠١٧

Coordination Models and Languages

٢٠١٠

Formal Methods for Eternal Networked Software Systems

٢٠١١