Michael G. Hinchey · 7 obras en el catálogoObrasThe Z formal specification notationFormal approaches to agent-based systemsFormal approaches to agent-based systemsIndustrial-Strength Formal Methods in PracticeTeaching and Learning Formal MethodsZZUM '98 : the Z Formal Specification NotationZUM '98 : the Z Formal Specification NotationIInnovative Concepts for Autonomic and Agent-Based SystemsInnovative Concepts for Autonomic and Agent-Based Systems
IInnovative Concepts for Autonomic and Agent-Based SystemsInnovative Concepts for Autonomic and Agent-Based Systems
