Industrial-Strength Formal Methods in Practicede Michael G. HincheyEdiciones (1)Industrial-Strength Formal Methods in Practice (1999)Springer London · inglés · ISBN 9781447105237Más obras de Michael G. HincheyThe Z formal specification notationFormal approaches to agent-based systemsFormal approaches to agent-based systems
IInnovative Concepts for Autonomic and Agent-Based SystemsInnovative Concepts for Autonomic and Agent-Based Systems
