عنوان
پدید آورنده
موضوع
رده
QA76.76.I58 S64 2010
QA76
.
76
.
I58
S64
2010
کتابخانه
محل استقرار
شابک
شابک
1441969845
شابک
9781441969842
شابک اشتباه
1441969837
شابک اشتباه
9781441969835
شماره کتابشناسی ملی
شماره
dltt
عنوان و نام پديدآور
عنوان اصلي
Specification and verification of multi-agent systems /
نام عام مواد
[Book]
نام نخستين پديدآور
Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; foreword by Wiebe van der Hoek.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xvii, 405 pages) :
ساير جزييات
illustrations
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (pages 385-405)
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Springer
شماره انبار
978-1-4419-6983-5
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Specification and Verification of Multi-agent Systems.
شماره استاندارد بين المللي کتاب و موسيقي
9781441969835
قطعه
عنوان
SpringerLink
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer software-- Verification.
موضوع مستند نشده
Multiagent systems.
مقوله موضوعی
موضوع مستند نشده
COM-- 051330
رده بندی ديویی
شماره
006
.
3/3
ويراست
22
رده بندی کنگره
شماره رده
QA76
.
76
.
I58
نشانه اثر
S64
2010
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Dastani, Mehdi.
مستند نام اشخاص تاييد نشده
Hindriks, Koen V.
مستند نام اشخاص تاييد نشده
Meyer, John-Jules Ch.
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
Ohio Library and Information Network.
مبدا اصلی
تاريخ عمليات
20120328023109.0
قواعد فهرست نويسي ( بخش توصيفي )
rda
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
