Data Refinement Refined: Resume

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: He, J, Hoare, C, Sanders, J
Այլ հեղինակներ: Robinet, B
Ձևաչափ: Գիրք
Հրապարակվել է: 1986