Mark d'Inverno and Michael Luck present a formal approach to dealing with agents and agent systems in this second edition of Understanding Agent Systems. The Z specification language is used to... This description may be from another edition of this product.