Interactive Computation المزيد من الكتب المشابهة

Principles of Modeling

٢٠١٨

Coordination Models and Languages

٢٠١٩

Software Engineering and Formal Methods

٢٠٢٠

Coordination Models and Languages

٢٠٢٠

Coordination Models and Languages

٢٠١٧

Formal Methods: State of the Art and New Directions

٢٠٠٩

Software-Intensive Systems and New Computing Paradigms

٢٠٠٨

Monitoring, Security, and Rescue Techniques in Multiagent Systems

٢٠٠٦

Formal Methods for Eternal Networked Software Systems

٢٠١١

Software Technologies: Applications and Foundations

٢٠١٨

Multi-Agent Systems and Agreement Technologies

٢٠١٨

Agents and Artificial Intelligence

٢٠١٥

Fundamentals of Software Engineering

٢٠١٩

From Software Engineering to Formal Methods and Tools, and Back

٢٠١٩

Software Engineering and Formal Methods

٢٠١٤