منو
رکورد قبلیرکورد بعدی

" Specification and verification of multi-agent systems / "


Document Type : BL
Record Number : 665639
Doc. No : dltt
Title & Author : Specification and verification of multi-agent systems /\ Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; foreword by Wiebe van der Hoek.
Page. NO : 1 online resource (xvii, 405 pages) :: illustrations
ISBN : 1441969845
: : 9781441969842
: 1441969837
: 9781441969835
Bibliographies/Indexes : Includes bibliographical references (pages 385-405)
Subject : Computer software-- Verification.
Subject : Multiagent systems.
Dewey Classification : ‭006.3/3‬
LC Classification : ‭QA76.76.I58‬‭S64 2010‬
Added Entry : Dastani, Mehdi.
: Hindriks, Koen V.
: Meyer, John-Jules Ch.
Added Entry : Ohio Library and Information Network.
copyhttps://lib.clisel.com/site/catalogue/665639
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟