Logic-Based Program Synthesis and Transformation Maurizio Gabbrielli: другие книги

Programming Languages: Principles and Paradigms Programming Languages: Principles and Paradigms
Programming Languages: Principles and Paradigms
2010