{"product_id":"christopher-rouff-agent-technology-from-a-formal-perspective-9781849969697","title":"Agent Technology from a Formal Perspective","description":"Explores some of the key issues related to agent technology from a formal perspective, following the overwhelming response to the timely FAABS workshops in this interdisciplinary field. All papers have been updated, expanded or represent new research and aim to provide a more in-depth treatment of the topic.\n\u003cbr\u003e\nThe intended audience is:\n\u003cbr\u003e\n1. Researchers \u0026amp; practitioners of formal methods. For the researchers, this book gives an introduction to agent-based systems and an overview of research being undertaken in applying formal methods to agent-based systems.\n\u003cbr\u003e\nThis book provides formal methods practitioners with an introduction to agent-based systems and gives them an in-depth look into some of the formal methods research being undertaken that is related to agent-based \u0026amp; distributed intelligent systems as well as formal methods tools and approaches being used in this area.\n\u003cbr\u003e\n2. Researchers \u0026amp; practitioners of agent-based systems. It provides an introduction to formal methods and examples of research that is being conducted in formal approaches to agent-based systems. It gives examples of how others have applied formal methods to agent-based systems as well as formal method tools and techniques that they can apply to their own systems. It also illustrates why it is non-trivial to perform verification and validation of these types of systems.","brand":"Springer","offers":[{"title":"Default Title","offer_id":54664585970006,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9781849969697_1.jpg?v=1794653802","url":"https:\/\/www.momoxbooks.com\/products\/christopher-rouff-agent-technology-from-a-formal-perspective-9781849969697","provider":"momox","version":"1.0","type":"link"}