.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Agent Technology from a Formal Perspective
Christopher A. . Ed(S): Rouff
€ 201.41
FREE Delivery in Ireland
Description for Agent Technology from a Formal Perspective
Hardback. Includes examples of how others have applied formal methods to agent-based systems, and formal method tools and techniques that can be applied. This book provides a view of the key issues related to agent technology from a formal perspective. It points to the gaps and indicates problems to be addressed by researchers, students and practitioners. Editor(s): Rouff, Christopher A. Series: NASA Monographs in Systems and Software Engineering. Num Pages: 354 pages, 17 black & white tables, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 703.
During the last several years, the ?eld of agent and multi-agent s- tems has experienced tremendous growth, i.e., the topic has gained - precedented popularity. Meanwhile, the ?eld of formal methods has also blossomed and has proven its importance in substantial industrial and government applications. Thus, in 2000 it was quite timely to pursue a workshop to merge the concerns of the two ?elds. The need for such a workshop was particularly compelling given the growing concerns of agent-basedsystemsusersthattheirsystemsshouldbeaccompaniedby behavioral assurances. The Formal Approaches toAgent-Based Systems (FAABS'00) workshop was the ?rst step in trying to address this need. The overwhelming ... Read more
During the last several years, the ?eld of agent and multi-agent s- tems has experienced tremendous growth, i.e., the topic has gained - precedented popularity. Meanwhile, the ?eld of formal methods has also blossomed and has proven its importance in substantial industrial and government applications. Thus, in 2000 it was quite timely to pursue a workshop to merge the concerns of the two ?elds. The need for such a workshop was particularly compelling given the growing concerns of agent-basedsystemsusersthattheirsystemsshouldbeaccompaniedby behavioral assurances. The Formal Approaches toAgent-Based Systems (FAABS'00) workshop was the ?rst step in trying to address this need. The overwhelming ... Read more
Product Details
Format
Hardback
Publication date
2005
Publisher
Springer London Ltd United Kingdom
Number of pages
354
Condition
New
Series
NASA Monographs in Systems and Software Engineering
Number of Pages
354
Place of Publication
England, United Kingdom
ISBN
9781852339470
SKU
V9781852339470
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Agent Technology from a Formal Perspective