Powiedz znajomym o tym przedmiocie:
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 | Książki Hardcover Book (Książka z twardym grzbietem i okładką) |
Wydane | 26 października 2005 |
ISBN13 | 9781852339470 |
Wydawcy | Springer London Ltd |
Strony | 354 |
Wymiary | 156 × 235 × 22 mm · 703 g |
Język | English |
Redaktor | Rouff, Christopher |
Pokaż wszystko
Więcej od Christopher Rouff
Zobacz wszystko od Christopher Rouff ( np. Book , Paperback Book i Hardcover Book )