kevinsullivan / cs6501s23

Formal Mathematics for Software Design
6 stars 6 forks source link

"First, as mentioned, it substitues concrete representations for abstract, adding inessesntial complexity to models and computations." --> I believe it is substitute abstract for concrete, because abstract models as mentioned before in the section reduce complexity, unless I am understanding this incorrectly. #3

Open nehakrishnakumar opened 1 year ago