Tell your friends about this item:
Agent Technology from a Formal Perspective - NASA Monographs in Systems and Software Engineering Christopher Rouff 2006 edition
Agent Technology from a Formal Perspective - NASA Monographs in Systems and Software Engineering
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 |
See all of Christopher Rouff ( e.g. Book , Paperback Book and Hardcover Book )