Logics of Programs Workshop, Yorktown Heights, New York, May 1981
كتاب من تأليف: Logics of Programs Workshop (Yorktown Heights, N.Y. ; Kozen, Dexter (1951-....) ; نشر في: 1982
طبعة:
Berlin:
Springer-Verlag
Springer-Verlag
لغة:
إنجليزية
الوصف المادي:
(vi, 429 p.) ill.
;24 cm
ISBN: 038711212X
ملاحظة: Références bibliogr. en fin de chapitres