{"product_id":"agent-technology-from-a-formal-perspective-von-christopher-rouff-hrsg","title":"Agent Technology from a Formal Perspective","description":"\n                                \n                \u003cp\u003eExplores 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.\u003c\/p\u003e\n                                \n                \n                \u003cp\u003e\u003c\/p\u003e\n                                \n                \n                \u003cp\u003eThe intended audience is:\u003c\/p\u003e\n                                \n                \n                \u003cp\u003e1. 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.\u003c\/p\u003e\n                                \n                \n                \u003cp\u003e\u003c\/p\u003e\n                                \n                \n                \u003cp\u003eThis 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.\u003c\/p\u003e\n                                \n                \n                \u003cp\u003e\u003c\/p\u003e\n                                \n                \n                \u003cp\u003e2. 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.\u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9781849969697\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9781849969697","offer_id":39419319156829,"sku":"9781849969697","price":160.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/2154b69c-b443-4e1a-bf7f-9b5d848cfb9d.jpg?v=1778127025","url":"https:\/\/shop.autorenwelt.de\/en\/products\/agent-technology-from-a-formal-perspective-von-christopher-rouff-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}