عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Analysis and verification of multiple-agent languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers
پدید آورنده
Mads Dam )ed.(
موضوع
Congresses ، Programming languages )Electronic computers(
رده
QA
76
.
L28
Vol
.
1192
کتابخانه
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
22291812
-
021
Analysis and verification of multiple-agent languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers
5th: 1996: Stockholm, Sweden
Berlin
Springer-Verlag
c1997
viii, 434 p.: ill., tables
Lecture notes in computer science; 2911
Includes bibliographies
ISBN 3540625038
Mads Dam )ed.(
1
Congresses ، Programming languages )Electronic computers(
QA
76
.
L28
Vol
.
1192
AU
AU Dam, Mads
TI
SE
LOMAPS Workshop
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح