Sitewide Free Shipping - Limited Time Only - No Minimum Spend - T&C's Apply
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $0
Agent Technology from a Formal Perspective - Michael Hinchey

Agent Technology from a Formal Perspective

By: Michael Hinchey, James Rash, Walt Truszkowski, Diana F. Gordon-Spears, Christopher Rouff (Editor)

eText | 27 January 2006

At a Glance

eText

$239.00

or 4 interest-free payments of $59.75 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.
Explores some of the key issues related to agent technology from a formal perspective, following the overwhelming response to the timely FAABS workshops in this interdisciplinary field. All papers have been updated, expanded or represent new research and aim to provide a more in-depth treatment of the topic. The intended audience is: 1. Researchers & practitioners of formal methods. For the researchers, this book gives an introduction to agent-based systems and an overview of research being undertaken in applying formal methods to agent-based systems. This book provides formal methods practitioners with an introduction to agent-based systems and gives them an in-depth look into some of the formal methods research being undertaken that is related to agent-based & distributed intelligent systems as well as formal methods tools and approaches being used in this area. 2. Researchers & practitioners of agent-based systems. It provides an introduction to formal methods and examples of research that is being conducted in formal approaches to agent-based systems. It gives examples of how others have applied formal methods to agent-based systems as well as formal method tools and techniques that they can apply to their own systems. It also illustrates why it is non-trivial to perform verification and validation of these types of systems.
on
Desktop
Tablet
Mobile

You Can Find This eBook In

Non-FictionComputing & I.T.Computer ScienceArtificial IntelligenceMathematicsMathematical FoundationMathematical Logic

More in Artificial Intelligence

AI-Powered Search - Trey Grainger

eBOOK

AI-Powered Search

eBook

$52.99

The Compass - Bob Pearson

eBOOK

The Compass

eBook

RRP $20.89

$19.99

Human-Agent Manifesto - Ronald Myers

eBOOK

Human-Agent Manifesto

eBook

$14.99

Coming of Age : Shared Intelligence - Steven Yates

eBOOK

Coming of Age

Shared Intelligence

eBook

RRP $16.49

$15.99

This product is categorised by