Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
Specification and verification of multi-agent systems /
پدید آورنده
Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; foreword by Wiebe van der Hoek.
موضوع
Computer software-- Verification.,Multiagent systems.
رده
QA76
.
76
.
I58
S64
2010
کتابخانه
Center and Library of Islamic Studies in European Languages
محل استقرار
استان:
Qom
ـ شهر:
Qom
تماس با کتابخانه :
32910706
-
025
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
1441969845
(Number (ISBN
9781441969842
Erroneous ISBN
1441969837
Erroneous ISBN
9781441969835
NATIONAL BIBLIOGRAPHY NUMBER
Number
dltt
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Specification and verification of multi-agent systems /
General Material Designation
[Book]
First Statement of Responsibility
Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; foreword by Wiebe van der Hoek.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xvii, 405 pages) :
Other Physical Details
illustrations
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (pages 385-405)
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Springer
Stock Number
978-1-4419-6983-5
OTHER EDITION IN ANOTHER MEDIUM
Title
Specification and Verification of Multi-agent Systems.
International Standard Book Number
9781441969835
PIECE
Title
SpringerLink
TOPICAL NAME USED AS SUBJECT
Computer software-- Verification.
Multiagent systems.
(SUBJECT CATEGORY (Provisional
COM-- 051330
DEWEY DECIMAL CLASSIFICATION
Number
006
.
3/3
Edition
22
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
76
.
I58
Book number
S64
2010
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Dastani, Mehdi.
Hindriks, Koen V.
Meyer, John-Jules Ch.
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
Ohio Library and Information Network.
ORIGINATING SOURCE
Date of Transaction
20120328023109.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب
[Book]
Y
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal