Roll over image to zoom in

Specification and Verification of Multi-agent Systems

Name: Specification and Verification of Multi-agent Systems
Brand: Springer
SKU: 00000_00000_00000_00000
Price: 311.28 SGD
Availability: InStock

Dastani, M. (EDT)/ Hindriks, K. V. (EDT)/ Meyer, J. C. (EDT)

311.28 SGD

Member Price

280.16

English

Quantity:

Product Description

Written by leading experts in the field, this volume presents a coherent treatment of the area of formal specification and verification of agent-based systems. Topics include theorem proving to verify agent programs, model checking logistics, refining multi-agent systems, and more.

... Read Full Text

Publisher

Springer

Publication Date

Jul 2010

ISBN

9781441969835

Pages

100 illus./405

Item Type

Book

Format

Hardcover

Available to Order

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.

Free domestic shipping on orders over 50.00SGD

Your Cart

Specification and Verification of Multi-agent Systems

Product Description

Available to Order

Specification and Verification of Multi-agent Systems

Recently Viewed Items

Related Products