Back

Zoom Roll over image to zoom in

Specification and Verification of Multi-agent Systems

Dastani, M. (EDT)/ Hindriks, K. V. (EDT)/ Meyer, J. C. (EDT)
169.99 USD
Member Price
153.00
English

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

Available to Order

Usually dispatches within 8-10 business days

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.00USD

Discount is applied at checkout.

Recently Viewed Items

Related Products