Practical Aspects of Declarative Languages المزيد من كتب Ekaterina Komendantskaya & Yanhong Annie Liu

Mathematics of Program Construction

٢٠٢٢