作者:Vadim Ermolayev,Heinrich C. Mayr,Mykola Nikitchenko,Aleksander Spivakovsky,Grygoriy Zholtkevych
主题词:Software Engineering,Logics and Meanings of Programs,Programming Languages,Compilers,Interpreters,Computer Communication Networks,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages