تحميل...

Dynamic logic /

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Harel, David
مؤلفون آخرون:	Kozen , Dexter, Tiuryn, Jerzy
اللغة:	Undetermined
منشور في:	New Delhi : Prentice Hall of India , 2000.
الموضوعات:	Engineering, Logic

تفاصيل المقتنيات من University of Kerala
رقم الطلب:	D6513:3:(R1) P0
النسخة	الحالة المباشرة غير متاحة

مواد مشابهة