Stock image for illustration purposes only - book cover, edition or condition may vary.
Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)
€ 189.43
FREE Delivery in Ireland
Description for Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)
Paperback. Editor(s): Rouff, Christopher A. Series: NASA Monographs in Systems and Software Engineering. Num Pages: 370 pages, 17 black & white tables, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 569.
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
Publisher
Springer
Format
Paperback
Publication date
2010
Series
NASA Monographs in Systems and Software Engineering
Condition
New
Weight
568g
Number of Pages
354
Place of Publication
England, United Kingdom
ISBN
9781849969697
SKU
V9781849969697
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)