Specification and Verification of Multi-agent Systems

Name: Specification and Verification of Multi-agent Systems
Brand: Springer-Verlag New York Inc.
SKU: 9781489990884
Price: 157.24 EUR
Availability: InStock

Автор: Mehdi Dastani, Koen V. Hindriks, John-Jules Meyer

Език:

Корици: С меки корици

Издател: Springer-Verlag New York Inc.

Наличност: Външен склад

Изпращаме след 5-8 дни

157.24 € 307.54 лв

Written by leading experts in the field, this volume presents a coherent treatment of the area of fo...

Информация за книгата

Автор

Mehdi Dastani, Koen V. Hindriks, John-Jules Meyer

Език

Английски език

Корици

Книга - С меки корици

Издадена

2014

страници

405

EAN

9781489990884

ISBN

9781489990884

Enbook ID

09062369

Издател

Springer-Verlag New York Inc.

Теглоt

646

Размери

155 x 22 x 235

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Specification and Verification of Multi-agent Systems

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също