Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)

by Michael G . Hinchey (Author), JamesRash (Author), Christopher A . Rouff (Author), WalterTruszkowski (Author), Diana Gordon - Spears (Author)

• New

  Hardcover
  2005

  $215.21

  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.