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

Description

Publisher: Springer; 1 edition
Language: English
ISBN: 1852339470
Paperback: 360 pages
Data: September 7, 2005
Format: PDF
Description: The field of agent & multi-agent systems is experiencing tremendous growth whilst that of formal methods has also blossomed. The FAABS (Formal Approaches to Agent-Based Systems) workshops, merging the concerns of the two fields, were thus timely. This book has arisen from the overwhelming response to FAABS 00, 02 & 04 and all chapters are updated or represent new research, & are designed to provide a more in-depth treatment of the topic. Examples of how others have applied formal methods to agent-based systems are included, plus formal method tools & techniques that readers can apply to their own systems. Agent Technology from a Formal Perspective provides an in-depth view of the key issues related to agent technology from a formal perspective. As this is a relatively new interdisciplinary field, there is enormous room for further growth and this book not only creates an initial foundation, but points to the gaps; indicating open problems to be addressed by future researchers, students & practitioners.

Download - (1 Mb)

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Download links for "Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)":


How to Download
You may need eMule or Bittorrent to download ebook torrents or emule links.

Report Dead Link
Please leave a comment to report dead links, so that someone else may update new links.

1. Ebooks list page : 1414
2. Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)
3. Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)
4. Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)
5. Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)
6. Agent Technology from a Formal Perspective
7. Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook
8. Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook
9. Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering...
10. Methodologies and Software Engineering for Agent Systems
11. Software Engineering for Multi-Agent Systems II
12. Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications
13. Agent Technology and e-Health (Whitestein Series in Software Agent Technologies and Autonomic Computing)
14. Developing Multi-Agent Systems with JADE (Wiley Series in Agent Technology)
15. Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
16. Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)