Online Library TheLib.net » Тема, жанр, tags: Software Engineering,Models and Principles,Computation by Abstract Devices,Mathematical Logic and Fo » Page 52