عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Logic and algebra of specification
پدید آورنده
edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
موضوع
، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده
QA
76
.
9
.
M35N37
1991
کتابخانه
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
22291812
-
021
Logic and algebra of specification
1991 : Marktoberdorf, Germany
Berlin
Springer-Verlag
c1993
]iii[, 442p.: ill.,tables
NATO ASI series. Series F: Computer and systems sciences; Vol.49
Proceedings of the NATO Advanced Study Institute on Logic and Algebra of ...1991. Published in cooperation with NATO Scientific Affairs Division
Includes bibliographies
ISBN: 3540558136
edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
1
، Computer science -- Mathematics
، Logic, Symbolic and mathematical
QA
76
.
9
.
M35N37
1991
AU
AU Faddeev, L. D., 1934-
AU Brauer, Wilfried
AU Schwichtenberg, Helmut, 1942-
CO North Atlantic Treaty Organization. Scientific Affairs Division
TI
SE
NATO Advanced Study Institute on Logic and Algebra of Specification
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح