Live data structures in logic programs
derivation by means of abstract interpretation
كتاب من تأليف: Mulkers, Anne ; نشر في: 1993
طبعة:
New York:
Springer-Verlag
Springer-Verlag
لغة:
إنجليزية
الوصف المادي:
viii, 220 p. ill.
;24 cm
ISBN: 0387566945
الفهرس العشري
621 .الفيزياء التطبيقية (الهندسة الكهربائية ، الهندسة المدنية ، الهندسة الميكانيكية ، الهندسة التطبيقية ، المبادئ الفيزيائية في الهندسة)
الموضوع
الإعلام الآلي
الكلمات الدالة:
Programmation logique
Types abstraits de données (informatique)
Structures de données (informatique)