
Tell your friends about this item:
Agent Technology from a Formal Perspective - NASA Monographs in Systems and Software Engineering 2006 edition
Christopher Rouff
Agent Technology from a Formal Perspective - NASA Monographs in Systems and Software Engineering 2006 edition
Christopher Rouff
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.
354 pages, 17 black & white tables, biography
Media | Books Hardcover Book (Book with hard spine and cover) |
Released | October 26, 2005 |
ISBN13 | 9781852339470 |
Publishers | Springer London Ltd |
Pages | 354 |
Dimensions | 156 × 235 × 22 mm · 703 g |
Language | English |
Editor | Rouff, Christopher |
Show all
More by Christopher Rouff
See all of Christopher Rouff ( e.g. Book , Paperback Book and Hardcover Book )