Data Refinement Refined

Data Refinement Refined

מידע ביבליוגרפי
Main Authors: Hoare, C, Hayes, I, He, J, Morgan, C, Sanders, J, Sorensen, I, Spivey, J, Sufrin, B
פורמט: Record
יצא לאור: 1985

פריטים דומים