Name: formal approaches to agent-based systems
SKU: 3484518
Price: 1865.00 TWD
Availability: InStock
ISBN: 9783540406655

Select your country

Americas

Europe

Rest of the world

portada formal approaches to agent-based systems

formal approaches to agent-based systems

Type

Physical Book

Publisher

Springer

Language

English

Pages

297

ISBN

3540406654

ISBN13

9783540406655

Synopsis "formal approaches to agent-based systems"

this book constitutes the thoroughly refereed post-proceedings of the second international workshop on formal approaches to agent-based systems, faabs 2002, held in greenbelt, md, in october 2002. the 18 revised full papers and 5 poster papers presented together with 9 panel statements and summaries were carefully selected for presentation during two rounds of reviewing and improvement. among the topics addressed are formal models for agent communication, communication protocols, logic-based agents, statechart frameworks, formal specification of agent interaction, space shuttle applications, automated satellite ground operations, formal verification, agent control, multi-agent coordination, agent languages, mobile agent testing, battlefield agents, xml, autonomous agents, etc.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews