Lex

Browse

GenresShelvesPremiumBlog

Company

AboutJobsPartnersSell on LexAffiliates

Resources

DocsInvite FriendsFAQ

Legal

Terms of ServicePrivacy Policygeneral@lex-books.com(215) 703-8277

© 2026 LexBooks, Inc. All rights reserved.

Specification and Verification of Multi-agent Systems

Specification and Verification of Multi-agent Systems

Mehdi Dastani

Details

OL Work ID
OL16952088W

Subjects

Software engineeringElectronic data processingComputer scienceArtificial intelligenceMultiagent systemsComputer software, verificationIntelligent agents (computer software)Operating systems (computers)

Find this book

Open Library
Book data from Open Library. Cover images courtesy of Open Library.