Logics of programs
Workshop, Carnegie-Mellon University, Pittsburgh, PA, June 6-8, 1983
كتاب من تأليف: Clarke, Edmund ; Kozen, Dexter (1951-....) ; نشر في: 1984
طبعة:
Berlin:
Springer
Springer
لغة:
إنجليزية
الوصف المادي:
VI-528 p.
;24 cm
ISBN: 3540128964
ملاحظة: On cover: "Logics of programs, proceedings 1983." Annexes : Includes bibliographical references.