{"product_id":"9781849969697","title":"NASA Monographs in Systems and Software Engineering","description":"\u003ch1\u003eNASA Monographs in Systems and Software Engineering\u003c\/h1\u003e \u003ch2\u003eHinchey, Michael; Rouff, Christopher; Rash, James; Truszkowski, Walt; Gordon-Spears, Diana F.\u003c\/h2\u003e \u003cp\u003e\u003c\/p\u003e\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\u003cp\u003e\u003c\/p\u003e\n\u003cp\u003eThe intended audience is:\u003c\/p\u003e\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\u003cp\u003e\u003c\/p\u003e\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\u003cp\u003e\u003c\/p\u003e\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 \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2010-10-28\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9781849969697\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/1-84628-271-3\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 354\u003c\/p\u003e ","brand":"Springer London","offers":[{"title":"Default Title","offer_id":49938001068172,"sku":"9781849969697","price":152.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9781849969697.jpg?v=1779044205","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9781849969697","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}