Formal Techniques for Distributed Objects, Components, and Systems المزيد من الكتب المشابهة

Trustworthy Global Computing

٢٠١٦

Trustworthy Global Computing

٢٠١٤

Formal Techniques for Distributed Objects, Components, and Systems

٢٠١٧

Programming Languages with Applications to Biology and Security

٢٠١٥

Coordination Models and Languages

٢٠١٦

Formal Techniques for Distributed Objects, Components, and Systems

٢٠١٦

Coordination Models and Languages

٢٠١٨

Formal Aspects of Component Software

٢٠١٧

Formal Techniques for Distributed Objects, Components, and Systems

٢٠١٩

Formal Aspects of Component Software

٢٠١٦

Fundamentals of Software Engineering

٢٠١٣

Models, Languages, and Tools for Concurrent and Distributed Programming

٢٠١٩

Theory and Practice of Formal Methods

٢٠١٦

Integrated Formal Methods

٢٠١٨

Principles of Security and Trust

٢٠١٦