A Survey of verification techniques for parallel programs
كتاب من تأليف: Barringer, Howard ; نشر في: 1985
طبعة:
Berlin:
Springer
Springer
لغة:
إنجليزية
الوصف المادي:
VI-114 p.
;25 cm
ISBN: 0387152393