Logics of programs
proceedings
كتاب من تأليف: Parikh, Rohit ; نشر في: 1985
طبعة:
Berlin:
Springer
Springer
لغة:
إنجليزية
الوصف المادي:
VI-424 p.
;24 cm
ISBN: 0387156488