Subjects: *SOFTWARE engineering; *PROGRAMMING languages; *TECHNOLOGY
تفاصيل العنوان
Subjects: *ABSTRACT data types (Computer science); *COMPUTER programming; *SOFTWARE verification