Interactive Computation More Books Like This
Principles of Modeling
2018
Coordination Models and Languages
2019
Software Engineering and Formal Methods
2020
Coordination Models and Languages
2020
Coordination Models and Languages
2017
Formal Methods: State of the Art and New Directions
2009
Software-Intensive Systems and New Computing Paradigms
2008
Monitoring, Security, and Rescue Techniques in Multiagent Systems
2006
Formal Methods for Eternal Networked Software Systems
2011
Software Technologies: Applications and Foundations
2018
Multi-Agent Systems and Agreement Technologies
2018
Agents and Artificial Intelligence
2015
Fundamentals of Software Engineering
2019
From Software Engineering to Formal Methods and Tools, and Back
2019
Software Engineering and Formal Methods
2014